Remove backup files

jwiegley · Sep 22, 2023 · 7b3c736 · 7b3c736
1 parent b22ae29
commit 7b3c736
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 870 deletions.
diff --git a/Construction/Free/Quiver.v~ b/Construction/Free/Quiver.v~
diff --git a/Structure/UniversalProperty/Cartesian'.v~ b/Structure/UniversalProperty/Cartesian'.v~