Update Coq.gitignore after rocq-prover/rocq#11075 (#3247)

JasonGross · shiftkey · commit 38c1cfcdbcf2 · 2019-11-25T16:45:55.000-04:00
Add .vok files from rocq-prover/rocq#11075
diff --git a/Coq.gitignore b/Coq.gitignore
@@ -18,6 +18,7 @@
 *.v.d
 *.vio
 *.vo
+*.vok
 *.vos
 .coq-native/
 .csdp.cache
