gitignore/Coq.gitignoremaster
gitignore/Coq.gitignore
master
History Graph
History Graph
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 8202fbb408af | Jason Gross/GitHub | Add mllib, mlpack files | Oct 11 2016 | |||
| 6615075fe4ad | Jason Gross/GitHub | Add .native | Oct 11 2016 | |||
| 46d36eb78f4f | Jason Gross/GitHub | Update Coq.gitignore | Oct 11 2016 | |||
| f0dde55c6bd9 | Ivan Zuzak | ensure single trailing newline | Oct 6 2013 | |||
| 2483494fc257 | Dan/Chris Wanstrath | add Coq gitignore | Nov 23 2010 |
c4science · Help