gitignore/Coq.gitignore
masterd64708bc0255ef8b327ba67…

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.