From 5fb48855b265a662254cacaf6e3bb2b826056c64 Mon Sep 17 00:00:00 2001 From: yystopf Date: Fri, 4 Jun 2021 16:30:05 +0800 Subject: [PATCH] fix --- - 副本 (2).gitignore | 4 ---- - 副本 (3).gitignore | 4 ---- - 副本 (4).gitignore | 4 ---- - 副本.gitignore | 4 ---- ...ME - 副本 (3).md => README - 副本 (3).md | 0 .DS_Store | Bin 0 -> 6148 bytes 6 files changed, 16 deletions(-) delete mode 100644 - 副本 (2).gitignore delete mode 100644 - 副本 (3).gitignore delete mode 100644 - 副本 (4).gitignore delete mode 100644 - 副本.gitignore rename README - 副本 (3).md => README - 副本 (3).md (100%) create mode 100644 .DS_Store diff --git a/ - 副本 (2).gitignore b/ - 副本 (2).gitignore deleted file mode 100644 index a7f34d8..0000000 --- a/ - 副本 (2).gitignore +++ /dev/null @@ -1,4 +0,0 @@ -# ---> Agda -*.agdai -MAlonzo/** - diff --git a/ - 副本 (3).gitignore b/ - 副本 (3).gitignore deleted file mode 100644 index a7f34d8..0000000 --- a/ - 副本 (3).gitignore +++ /dev/null @@ -1,4 +0,0 @@ -# ---> Agda -*.agdai -MAlonzo/** - diff --git a/ - 副本 (4).gitignore b/ - 副本 (4).gitignore deleted file mode 100644 index a7f34d8..0000000 --- a/ - 副本 (4).gitignore +++ /dev/null @@ -1,4 +0,0 @@ -# ---> Agda -*.agdai -MAlonzo/** - diff --git a/ - 副本.gitignore b/ - 副本.gitignore deleted file mode 100644 index a7f34d8..0000000 --- a/ - 副本.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -# ---> Agda -*.agdai -MAlonzo/** - diff --git a/README - 副本 (3).md b/ README - 副本 (3).md similarity index 100% rename from README - 副本 (3).md rename to README - 副本 (3).md diff --git a/.DS_Store b/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..6b3b9cc2d545788895ca184cc8fd8bacbe29879d GIT binary patch literal 6148 zcmeH~!AiqG5QhJ$g|-M%M9||N6;x2`$xE#5p`aex7m!-;Qt8QiF20EupU(%-e|FZA znglF@h|Iw5zuDcHC0{}&13>yuvlE~Tpv|V*=&-9WUDsB!Mw)3+CC0eL1jEsMaX+1x zcKgI%B%sf(g=>s(g&_*hZ!zTxUkiDo_THn#8`#E}J1;T74K?5hVZ3-a2i#5k{s@%$ymRt=8|4v}S%LubXe!b8c)PJtW` zcXI+xzzO`A0CTold(+f=C*TB}z>