summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKosyrev Serge <_deepfire@feelingofgreen.ru>2018-09-21 21:02:40 +0300
committerKosyrev Serge <_deepfire@feelingofgreen.ru>2018-09-21 21:02:40 +0300
commit9de3fa7e97441991d7ed383233ca10aa1ebcb85c (patch)
tree8a1aa727038ebe9eafcdd17f00faeafab25064f7
parentab493cfe403295c1579901fe7b54dff1d0a9da4d (diff)
git: more ignores
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index e43f36f9..efddb985 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,12 @@
1*~ 1*~
2dist 2dist
3dist-newstyle
3*.hi 4*.hi
4*.o 5*.o
5lambdacube-compiler-test-suite.prof 6lambdacube-compiler-test-suite.prof
6lambdacube-compiler-test-suite.tix 7lambdacube-compiler-test-suite.tix
7*cabal-sandbox* 8*cabal-sandbox*
8*cabal.sandbox* 9*cabal.sandbox*
10.ghc.environment.*
11.dir-locals.el
9.stack-work 12.stack-work