gitignore/Coq.gitignore
master7222e77266ca62d3a920600…

Oct 6 2013

ensure single trailing newline
f0dde55c6bd9
·Ivan Zuzak on Oct 6 2013, 14:40.

add Coq gitignore
2483494fc257
·Dan / Chris Wanstrath on Nov 23 2010, 02:42.