data/github/Agda.gitignore in
forgitter-0.0.12
vs data/github/Agda.gitignore in
forgitter-0.1.0
- old
+ new
@@ -2 +1,2 @@
*.agdai
+MAlonzo/**