Update .gitignore for Idris 2

ska80 · ska80 · commit 4c55d7cc4b8a · 2021-03-15T14:32:59.000+06:00
diff --git a/Idris.gitignore b/Idris.gitignore
@@ -1,2 +1,7 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
 *.ibc
 *.o

-Original file line number
+Diff line change
@@ @@ -1,2 +1,7 @@ @@
 +# Idris 2
 +*.ttc
 +*.ttm
++
 +# Idris 1
 *.ibc
 *.o