Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

add Coq gitignore

  • Loading branch information...
commit 2483494fc257e32bcd8241655ac00607ca915b3d 1 parent f84e318
@dcolish dcolish authored defunkt committed
Showing with 4 additions and 0 deletions.
  1. +4 −0 Coq.gitignore
View
4 Coq.gitignore
@@ -0,0 +1,4 @@
+*.vo
+*.glob
+*.v.d
+
Please sign in to comment.
Something went wrong with that request. Please try again.