diff --git a/.gitignore b/.gitignore index 1192926..f53dd5f 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,6 @@ *.pandoc.pdf +dist/ +filters/*.hi +filters/*.o +filters/usual-fun +filters/nice-frac