Diffusion gitignore (master) History

gitignore/Coq.gitignore
mastera580262a25b12b88176b0b4…

Oct 11 2016

Add mllib, mlpack files
8202fbb408af
·Jason Gross / GitHub on Oct 11 2016, 23:25.
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.