Merge pull request #3679 from ska80/idris2-updates

bdougie · web-flow · commit 6d151383022d · 2021-12-04T07:56:06.000-08:00
Update .gitignore for Idris 2
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