Remove files not caught in gitignore

rahulc29 · May 15, 2024 · 56dbf84 · 56dbf84
1 parent bd065f5
commit 56dbf84
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 44 deletions.
diff --git a/src/Realizability/PERs/#TerminalObject.agda# b/src/Realizability/PERs/#TerminalObject.agda#
diff --git a/src/Realizability/PERs/.#TerminalObject.agda b/src/Realizability/PERs/.#TerminalObject.agda