Add vos/vok to gitignore

proux01 · affeldt-aist · commit eb04492a23fe · 2023-05-18T12:14:16.000+09:00
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,6 @@
 *.vo
+*.vos
+*.vok
 *.glob
 *.v.d
 *.aux

-Original file line number
+Diff line change
@@ @@ -1,4 +1,6 @@ @@
 *.vo
 +*.vos
 +*.vok
 *.glob
 *.v.d
 *.aux