初始提交: Gitea 项目代码

2026-05-30 22:47:36 +08:00
commit f288f76350
6116 changed files with 776822 additions and 0 deletions
@@ -0,0 +1,7 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
+*.ibc
+*.o