This website works better with JavaScript.
Home
Explore
Help
Sign In
mirrors
/
gitignore
mirror of
https://github.com/github/gitignore.git
Watch
1
Star
0
Fork
0
Code
Issues
0
Releases
0
Wiki
Activity
Browse Source
add Coq gitignore
pull/103/head
Dan
13 years ago
parent
f84e3189d0
commit
2483494fc2
1 changed files
with
4 additions
and
0 deletions
Split View
Show Diff Stats
4
0
Coq.gitignore
+ 4
- 0
Coq.gitignore
View File
@@ -0,0 +1,4 @@
*.vo
*.glob
*.v.d
Write
Preview
Loading…
Cancel
Save