fix

2021-06-04 16:30:05 +08:00 · 2021-06-04 16:30:05 +08:00 · 5fb48855b2
parent fa910743a5
commit 5fb48855b2
6 changed files with 0 additions and 16 deletions
--- a/(2).gitignore
+++ b/(2).gitignore
@ -1,4 +0,0 @@
-# ---> Agda
-*.agdai
-MAlonzo/**
-
--- a/(3).gitignore
+++ b/(3).gitignore
@ -1,4 +0,0 @@
-# ---> Agda
-*.agdai
-MAlonzo/**
-
--- a/(4).gitignore
+++ b/(4).gitignore
@ -1,4 +0,0 @@
-# ---> Agda
-*.agdai
-MAlonzo/**
-
--- a/副本.gitignore
+++ b/副本.gitignore
@ -1,4 +0,0 @@
-# ---> Agda
-*.agdai
-MAlonzo/**
-
--- a/(3).md
+++ b/(3).md
--- a/.DS_Store
+++ b/.DS_Store