commit
6e0467b4ec
2 changed files with 6 additions and 0 deletions
@ -0,0 +1,4 @@ |
|||
# ---> Agda |
|||
*.agdai |
|||
MAlonzo/** |
|||
|
|||
@ -0,0 +1,2 @@ |
|||
# minus-two2 |
|||
|
|||
Loading…
Reference in new issue
@ -0,0 +1,4 @@ |
|||
# ---> Agda |
|||
*.agdai |
|||
MAlonzo/** |
|||
|
|||
@ -0,0 +1,2 @@ |
|||
# minus-two2 |
|||
|
|||