gitignore/Coq.gitignore
mastere0fbe0f0b3ffe3c16b28654…

Nov 23 2010

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