update .gitignore
This commit is contained in:
parent
3891cf7123
commit
ef33ff0205
|
@ -1 +1,6 @@
|
||||||
*.pandoc.pdf
|
*.pandoc.pdf
|
||||||
|
dist/
|
||||||
|
filters/*.hi
|
||||||
|
filters/*.o
|
||||||
|
filters/usual-fun
|
||||||
|
filters/nice-frac
|
||||||
|
|
Loading…
Reference in New Issue