phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Jon Eugster
2023-04-28 18:52:30 +02:00
committed by GitHub
parent c288c98657
commit 300849d5d1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+1 -1
View File
@@ -14,7 +14,7 @@ Currently the interface is still undergoing bigger changes, contributions are of
### Documentation
For game developers, there is a work-in-progress Documentation [Creating a Game](CREATE_GAME.md).
For game developers, there is a work-in-progress Documentation: [Create a Game](DOCUMENTATION.md).
Best to talk with us directly.
For the game engine itself, the documentations is missing currently.