diff options
| author | Guillermo Ramos | 2017-09-21 23:27:51 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2017-09-21 23:27:51 +0200 |
| commit | 33de036d4f068e97d98dbaf55535aadfb77a00e7 (patch) | |
| tree | 8340e8fb0995a41f16b4c922d560aa4b90176f5c /.gitignore | |
| download | turing-33de036d4f068e97d98dbaf55535aadfb77a00e7.tar.gz | |
First commit
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d861c7a --- /dev/null +++ b/.gitignore @@ -0,0 +1,21 @@ +dist +dist-* +cabal-dev +*.o +*.hi +*.chi +*.chs.h +*.dyn_o +*.dyn_hi +.hpc +.hsenv +.cabal-sandbox/ +cabal.sandbox.config +*.prof +*.aux +*.hp +*.eventlog +.stack-work/ +cabal.project.local +.HTF/ +.ghc.environment.*
\ No newline at end of file |