projects / gitignore.git / commit
| author | Michael Coblenz <mcoblenz@users.noreply.github.com> | |
| Fri, 8 Mar 2019 12:47:43 +0000 (07:47 -0500) | ||
| committer | Brendan Forster <brendan@github.com> | |
| Fri, 8 Mar 2019 12:47:43 +0000 (08:47 -0400) | ||
| commit | d7452bf58fd73000199dbac38d25d6969505ff23 | |
| tree | 0ae9f0734183d6d6fcca0f48451308bd0d7e4324 | tree | snapshot |
| parent | dfc56427c353279654a8685768d00c1ae0c86f30 | commit | diff |
| Agda.gitignore | diff | blob | history |