diff --git a/.gitignore b/.gitignore index 3819313..7feb9a1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,11 @@ *.swp *.swo +.ghc.* +*.local +*.local~ +dist-newstyle/ +*.trace +*.aux +*.hp +*.ps +*.pdf