summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSam Truzjan <pxqr.sta@gmail.com>2013-11-23 02:01:25 +0400
committerSam Truzjan <pxqr.sta@gmail.com>2013-11-23 02:01:25 +0400
commit8ad997f8f8725391fbaba415b0e751f42288d697 (patch)
treee8503d51dd7b3e7c347ff74b204e0f8f2df035f3 /.gitignore
parent1c8361e1a8fb9c1c9bb703958eebddfc204b223a (diff)
Ignore upload-docs script
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 3d398cbd..07041bab 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
1dist 1dist
2cabal-dev 2cabal-dev
3tmp 3tmp
4upload-docs
4*.aux 5*.aux
5*.eventlog 6*.eventlog
6*.hp 7*.hp