aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGertjan van den Burg <burg@ese.eur.nl>2016-09-20 16:46:57 +0200
committerGertjan van den Burg <burg@ese.eur.nl>2016-09-20 16:46:57 +0200
commit8d57c87562bc13c626e5390ab4eae5f7bef1535f (patch)
tree887665ec0823e1a4ec3eab94d19ac6bad8b7b866 /.gitignore
parentUnit tests and corresponding data (diff)
downloadgensvm-8d57c87562bc13c626e5390ab4eae5f7bef1535f.tar.gz
gensvm-8d57c87562bc13c626e5390ab4eae5f7bef1535f.zip
Ignore coverage dir
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index b567bb5..ece130c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ gensvm
gensvm_grid
*.gcno
*.gcda
+cover/*