diff options
| author | Carlos Sosa <gnusosa@gnusosa.net> | 2019-08-25 00:37:36 -0700 |
|---|---|---|
| committer | Carlos Sosa <gnusosa@gnusosa.net> | 2019-08-25 00:37:36 -0700 |
| commit | 756dcf2140360be789a7f06e1e3dc09a8c8ff1fe (patch) | |
| tree | a3f0cd577ecec7d6f717e9472c87b953b0bcbb43 /.gitignore | |
| parent | dcd887a1631bd29e581ead60effd27342065cb4e (diff) | |
Added gitignore file
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..4c9e245 --- /dev/null +++ b/.gitignore @@ -0,0 +1,23 @@ +dist +dist-* +cabal-dev +*.o +*.hi +*.hie +*.chi +*.chs.h +*.dyn_o +*.dyn_hi +.hpc +.hsenv +.cabal-sandbox/ +cabal.sandbox.config +*.prof +*.aux +*.hp +*.eventlog +.stack-work/ +cabal.project.local +cabal.project.local~ +.HTF/ +.ghc.environment.* |