summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAndor Penzes <andor.penzes@gmail.com>2016-01-04 14:08:57 +0100
committerAndor Penzes <andor.penzes@gmail.com>2016-01-04 14:08:57 +0100
commite8554c9c2adbbc9152811f1278dc40533fa3d98f (patch)
tree5ce5d5a08e0280b4a585cc45648cc6096f84f16a /.gitignore
parent84a1dbc97e293459a32e2f2ab5c2633f8ad55d1a (diff)
Ignore tests directory
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index f60e6d89..e8c134d1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ lambdacube-compiler-test-suite.prof
6lambdacube-compiler-test-suite.tix 6lambdacube-compiler-test-suite.tix
7*cabal-sandbox* 7*cabal-sandbox*
8*cabal.sandbox* 8*cabal.sandbox*
9tests/