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,234
Commits
8
Branches
0
Tags
6a81bf03cfe0701b6ecd5d67da6f0ccf3ca99d75
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