Diffusion gitignore (master) History

gitignore/Coq.gitignore
master6615075fe4add11e8374573…

Oct 11 2016

Add .native
6615075fe4ad
·Jason Gross / GitHub on Oct 11 2016, 23:21.
Update Coq.gitignore
46d36eb78f4f
·Jason Gross / GitHub on Oct 11 2016, 23:18.

Oct 6 2013

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

Nov 23 2010

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