data/github/Idris.gitignore in
forgitter-0.0.12
vs data/github/Idris.gitignore in
forgitter-0.1.0
- old
+ new
@@ -1,4 +1,9 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
*.ibc *.o