This website requires JavaScript.
Explore
Help
Register
Sign In
rune
/
gitignore
Watch
1
Star
0
Fork
0
You've already forked gitignore
Code
Pull Requests
Activity
2,230
Commits
8
Branches
0
Tags
0eeed18a54e5dc80bc8355854f8d6f9680a06b85
Commit Graph
2 Commits
Author
SHA1
Message
Date
Ivan Zuzak
f0dde55c6b
ensure single trailing newline
2013-10-06 14:40:01 +02:00
Dan
2483494fc2
add Coq gitignore
2010-11-22 17:42:32 -08:00