diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2018-03-26 21:35:24 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2018-03-26 21:35:24 +0200 |
commit | 7b2f8b602e65ed2462b7d2c5a432d102f0ba6705 (patch) | |
tree | 28eb5ebe46740213226719c1f69eeff2b54bbac4 /.gitignore | |
parent | 0e1f435314b382cb78056f04d0997df43e4f8fcf (diff) |
Build with stack
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1,2 +1,8 @@ -obj/ lisp +*.hi +*.o +.stack-work/ +.cabal-sandbox +cabal.sandbox.config +.DS_Store +*.swp |