Add new .gitignore file

julian-klode · Feb 6, 2019 · aee6c8d · aee6c8d
1 parent c212791
commit aee6c8d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,5 @@
+cover_db/
+expected
+test.diff
+test.output
+test.summary