delete accidently lake init

2 years ago · 64d7879c32
parent cb711205a2
commit 64d7879c32
1 changed files with 0 additions and 1 deletions
--- a/Lean4game/Basic.lean
+++ b/Lean4game/Basic.lean
@ -1 +0,0 @@
 def hello := "world"