7 lines
80 B
Plaintext
7 lines
80 B
Plaintext
*.pandoc.pdf
|
|
dist/
|
|
filters/*.hi
|
|
filters/*.o
|
|
filters/usual-fun
|
|
filters/nice-frac
|