gitignore/Coq.gitignore
master00686415c4e23739d7190f0…

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.