diff options
| author | Michael Coblenz <mcoblenz@users.noreply.github.com> | 2019-03-08 07:47:43 -0500 |
|---|---|---|
| committer | Brendan Forster <brendan@github.com> | 2019-03-08 08:47:43 -0400 |
| commit | d7452bf58fd73000199dbac38d25d6969505ff23 (patch) | |
| tree | 0ae9f0734183d6d6fcca0f48451308bd0d7e4324 | |
| parent | dfc56427c353279654a8685768d00c1ae0c86f30 (diff) | |
| download | gitignore-d7452bf58fd73000199dbac38d25d6969505ff23.tar.gz gitignore-d7452bf58fd73000199dbac38d25d6969505ff23.zip | |
Add MAlonzo directory. (#2978)
| -rw-r--r-- | Agda.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Agda.gitignore b/Agda.gitignore index 171a3897..58ab67f0 100644 --- a/Agda.gitignore +++ b/Agda.gitignore @@ -1 +1,2 @@ *.agdai +MAlonzo/** |