From fa910743a53463d1624b3e88040c5680a940714c Mon Sep 17 00:00:00 2001 From: "test2@forge.com" Date: Fri, 4 Jun 2021 15:55:46 +0800 Subject: [PATCH] test --- - 副本 (2).gitignore | 4 ++++ - 副本 (3).gitignore | 4 ++++ - 副本 (4).gitignore | 4 ++++ - 副本.gitignore | 4 ++++ 4 files changed, 16 insertions(+) create mode 100644 - 副本 (2).gitignore create mode 100644 - 副本 (3).gitignore create mode 100644 - 副本 (4).gitignore create mode 100644 - 副本.gitignore diff --git a/ - 副本 (2).gitignore b/ - 副本 (2).gitignore new file mode 100644 index 0000000..a7f34d8 --- /dev/null +++ b/ - 副本 (2).gitignore @@ -0,0 +1,4 @@ +# ---> Agda +*.agdai +MAlonzo/** + diff --git a/ - 副本 (3).gitignore b/ - 副本 (3).gitignore new file mode 100644 index 0000000..a7f34d8 --- /dev/null +++ b/ - 副本 (3).gitignore @@ -0,0 +1,4 @@ +# ---> Agda +*.agdai +MAlonzo/** + diff --git a/ - 副本 (4).gitignore b/ - 副本 (4).gitignore new file mode 100644 index 0000000..a7f34d8 --- /dev/null +++ b/ - 副本 (4).gitignore @@ -0,0 +1,4 @@ +# ---> Agda +*.agdai +MAlonzo/** + diff --git a/ - 副本.gitignore b/ - 副本.gitignore new file mode 100644 index 0000000..a7f34d8 --- /dev/null +++ b/ - 副本.gitignore @@ -0,0 +1,4 @@ +# ---> Agda +*.agdai +MAlonzo/** +