gitignore/Coq.gitignore
master279936d8eb91db6b863cab4…

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.