Merge f079340 into 68cf9d7

frioux · Dec 5, 2018 · 067e4fd · 067e4fd
2 parents 68cf9d7 + f079340
commit 067e4fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 *.swp
+cover_db/
 Syntax-Keyword-Junction-*