removed unnecessary file

2023-06-10 06:58:23 -07:00 · 2023-06-10 06:58:23 -07:00 · b0b3bdceb3
parent d736cf81b3
commit b0b3bdceb3
1 changed files with 0 additions and 1 deletions
--- a/CommAlg.lean
+++ b/CommAlg.lean
@ -1 +0,0 @@
-def hello := "world"