[skip ci] Updated licenses and gitignores

2026-09-16 01:43:24 +09:00 · 2021-12-05 00:25:15 +00:00
parent a1dca00974
commit 98d903a3c6
17 changed files with 132 additions and 96 deletions
@@ -1,2 +1,7 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
 *.ibc
 *.o