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

Update doc/DOCUMENTATION.md

Browse Source
This commit is contained in:
Jon Eugster
2024-01-22 12:44:12 +01:00
committed by GitHub
parent c006be5a9f
commit e975c455fe
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/DOCUMENTATION.md
+1 -1
View File
@@ -50,7 +50,7 @@ npm run start_client
npm run production
```
(in two separate terminals) to test the production modes of the server. This way it will only
(in two separate terminals) to test the production mode of the server. This way it will only
change once you build and restart the server.
### Modifying the lean server