oss/luanti
oss/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-09-15 18:57:08 +00:00
Code Wiki Activity

Improve UX when no game exists and drop default_game (#13550)

Browse source
This commit is contained in:
ROllerozxa 2023-09-17 19:45:28 +02:00 • committed by GitHub
parent 5bfc5d44c0
commit a88e61c2cf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 78 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

4
builtin/settingtypes.txt
View file

@ -2194,10 +2194,6 @@ address (Server address) string
# Note that the port field in the main menu overrides this setting.
remote_port (Remote port) int 30000 1 65535
# Default game when creating a new world.
# This will be overridden when creating a world from the main menu.
default_game (Default game) string minetest
# Enable players getting damage and dying.
enable_damage (Damage) bool false