Skip to content

Commit de99ff5

Browse files
committed
Add vos/k to gitignore
1 parent 57e92e2 commit de99ff5

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,8 @@
1919

2020
# Coq auxiliary files
2121
.*.aux
22+
*.vos
23+
*.vok
2224

2325
# Coq compilation unit
2426
*.vo

0 commit comments

Comments
 (0)