summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDaniel Gröber <dxld@darkboxed.org>2013-12-07 13:12:45 +0100
committerDaniel Gröber <dxld@darkboxed.org>2013-12-14 19:42:21 +0100
commit2b62a5da05832db21159ff81b78c8f41307cacee (patch)
treeeb32620b8d2ba3be6057f34ce4cc6e8be0d7aa42 /.gitignore
parent1bb3addc93a6989447007bc92604af81cc687ba9 (diff)
Add cabal sandbox stuff to .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 07041bab..cbfbf7f9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,7 @@
1dist 1dist
2cabal-dev 2cabal-dev
3.cabal-sandbox
4cabal.sandbox.config
3tmp 5tmp
4upload-docs 6upload-docs
5*.aux 7*.aux