projects / gitignore.git / commit
| author | Jason Gross <jasongross9@gmail.com> | |
| Tue, 11 Oct 2016 21:25:39 +0000 (17:25 -0400) | ||
| committer | GitHub <noreply@github.com> | |
| Tue, 11 Oct 2016 21:25:39 +0000 (17:25 -0400) | ||
| commit | 8202fbb408af642c886b525ef7149812376cba6e | |
| tree | 8c3c3920de040c1fd2627d2eb03ff91259cb7fbf | tree | snapshot |
| parent | 6615075fe4add11e8374573fe53b778cf2883ded | commit | diff |
| Coq.gitignore | diff | blob | history |