projects / gitignore.git / commit
| author | Dan <dcolish@gmail.com> | |
| Sun, 21 Nov 2010 07:34:20 +0000 (23:34 -0800) | ||
| committer | Chris Wanstrath <chris@ozmm.org> | |
| Tue, 23 Nov 2010 01:42:32 +0000 (17:42 -0800) | ||
| commit | 2483494fc257e32bcd8241655ac00607ca915b3d | |
| tree | b3aaa037aa1b9a0627b7633d5ecabcaf4cea2c47 | tree | snapshot |
| parent | f84e3189d02e3042e3466fbf19a64e70eb694e37 | commit | diff |
| Coq.gitignore | [new file with mode: 0644] | blob |