Update .gitignore for new files

yforster · yforster · commit 8b5ff07c7b01 · 2020-03-25T11:43:45.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -22,3 +22,6 @@ Makefile.coq.conf
 .merlin
 *.cmt
 *.cmti
+src/smpl.ml
+*.vok
+*.vos

-Original file line number
+Diff line change
 .merlin
 *.cmt
 *.cmti
 +src/smpl.ml
 +*.vok
 +*.vos