Skip to content

Commit 2483494

Browse files
dcolishdefunkt
dcolish
authored and
defunkt
committed
add Coq gitignore
1 parent f84e318 commit 2483494

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎Coq.gitignore‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
*.vo
2+
*.glob
3+
*.v.d
4+

0 commit comments

Comments
 (0)