Morph MORPH
SIGN IN SIGN UP
github / gitignore UNCLAIMED

A collection of useful .gitignore templates

0 0 1 Ignore List

COMMITS

/ Coq.gitignore
3e36b5a353c5c2b3d717659766dfa40e9b1b5c79
October 6, 2013
I
ensure single trailing newline
Ivan Zuzak committed
f0dde55
November 21, 2010
D
add Coq gitignore
Dan committed
2483494