summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSam T <pxqr.sta@gmail.com>2013-06-20 19:56:52 +0400
committerSam T <pxqr.sta@gmail.com>2013-06-20 19:56:52 +0400
commit3325e02fa3a75878ad6f5519d88396e2cbaa3887 (patch)
tree3116b96937911d233bbc67b939ca922cf1eadf84 /.gitignore
parent68bebe08459a87b9b915fd0f8bce1b506c8c2918 (diff)
~ Ignore profiling files.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 316009b8..7a0c156b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,7 @@
1dist 1dist
2cabal-dev 2cabal-dev
3*.aux
4*.eventlog
5*.hp
6*.pdf
7*.ps