add *.vos and *.vok to .gitignore

proof-ninja · Feb 13, 2020 · 1450ae3 · 1450ae3
1 parent ab0b5f8
commit 1450ae3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,6 @@
 *.vo
+*.vok
+*.vos
 *.v.d
 *.glob
 *~