删除Lean

This commit is contained in:
2025-11-14 17:15:07 +08:00
parent 06689b5cee
commit fc8f48bc7e
588 changed files with 2 additions and 96447 deletions

1
.gitignore vendored
View File

@@ -13,6 +13,7 @@
/[Uu]ser[Ss]ettings/
*.log
/Assets/StreamingAssets
/Assets/Github
# MemoryCaptures can get excessive in size.
# They also could contain extremely sensitive data