diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2013-12-07 13:12:45 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2013-12-14 19:42:21 +0100 |
commit | 2b62a5da05832db21159ff81b78c8f41307cacee (patch) | |
tree | eb32620b8d2ba3be6057f34ce4cc6e8be0d7aa42 /.gitignore | |
parent | 1bb3addc93a6989447007bc92604af81cc687ba9 (diff) |
Add cabal sandbox stuff to .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,5 +1,7 @@ | |||
1 | dist | 1 | dist |
2 | cabal-dev | 2 | cabal-dev |
3 | .cabal-sandbox | ||
4 | cabal.sandbox.config | ||
3 | tmp | 5 | tmp |
4 | upload-docs | 6 | upload-docs |
5 | *.aux | 7 | *.aux |