Skip to content

Commit

Permalink
add Coq gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@dcolish @defunkt
dcolish authored and defunkt committed Nov 23, 2010
1 parent f84e318 commit 2483494
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions Coq.gitignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
*.vo
*.glob
*.v.d

0 comments on commit 2483494

Please sign in to comment.