diff --git a/.gitignore b/.gitignore index 05d4d64..79903a3 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,6 @@ .cabal-sandbox/ cabal.sandbox.config dist/ +*.aux +*.hp +*.ps