diff options
-rw-r--r-- | .gitignore | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 1521c8b..0855a79 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,17 @@ dist +cabal-dev +*.o +*.hi +*.chi +*.chs.h +*.dyn_o +*.dyn_hi +.virtualenv +.hpc +.hsenv +.cabal-sandbox/ +cabal.sandbox.config +cabal.config +*.prof +*.aux +*.hp |