Remove auxillary files

rahulc29 · Dec 29, 2023 · 72c436c · 72c436c
1 parent 853d4d9
commit 72c436c
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 *.agdai
 *.agda~
+*.DS_Store
diff --git a/src/Realizability/.DS_Store b/src/Realizability/.DS_Store
diff --git a/src/Realizability/Tripos/.DS_Store b/src/Realizability/Tripos/.DS_Store