greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix typo

Browse Source
This commit is contained in:
Kevin Buzzard
2023-09-21 17:11:26 +01:00
parent 003161ced1
commit c572a265cb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Game.lean
View File

@@ -35,7 +35,7 @@ To learn more about these puzzles, click on \"Tutorial World\".
## More
Open the \"Game Info\" in the burger menu on the top right for resources,
links, resources, and ways to interact with the Lean community.
links, and ways to interact with the Lean community.
"
Info "