summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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