added coverity specific folder to gitignore

dresden-ocl · Aug 30, 2014 · ec05d5e · ec05d5e
1 parent 3651c46
commit ec05d5e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,3 +11,4 @@ pdf/
 *.BASE.*
 .settings/
 target/
+cov-int/