mirror of
https://github.com/luanti-org/luanti.git
synced 2025-06-27 16:36:03 +00:00
Rename "Delete map" to "Delete world"
This commit is contained in:
parent
618314985d
commit
a72dc388c3
2 changed files with 5 additions and 5 deletions
|
@ -42,7 +42,7 @@ enum
|
|||
GUI_ID_CREATIVE_CB,
|
||||
GUI_ID_JOIN_GAME_BUTTON,
|
||||
GUI_ID_CHANGE_KEYS_BUTTON,
|
||||
GUI_ID_DELETE_MAP_BUTTON,
|
||||
GUI_ID_DELETE_WORLD_BUTTON,
|
||||
GUI_ID_WORLD_LISTBOX,
|
||||
};
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue