diff options
| author | Paul Ouellette <oue.paul18@gmail.com> | 2018-12-02 09:34:25 -0500 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2018-12-02 15:34:25 +0100 |
| commit | f6662b01ac4b15e6e339007a2cacf69f331007aa (patch) | |
| tree | 76baefc1efea1c19086b147f2b54adac561fb6d1 /builtin | |
| parent | 3b295025fd550725de8151ae63c9a3066e32ad26 (diff) | |
| download | minetest-f6662b01ac4b15e6e339007a2cacf69f331007aa.tar.gz minetest-f6662b01ac4b15e6e339007a2cacf69f331007aa.tar.bz2 minetest-f6662b01ac4b15e6e339007a2cacf69f331007aa.zip | |
Remove unused settings (#7929)
Diffstat (limited to 'builtin')
| -rw-r--r-- | builtin/settingtypes.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/builtin/settingtypes.txt b/builtin/settingtypes.txt index 6720cf7f8..8e7e1308d 100644 --- a/builtin/settingtypes.txt +++ b/builtin/settingtypes.txt @@ -1279,10 +1279,6 @@ main_menu_style (Main menu style) enum auto auto,full,simple # Replaces the default main menu with a custom one. main_menu_script (Main menu script) string -main_menu_game_mgr (Main menu game manager) int 0 - -main_menu_mod_mgr (Main menu mod manager) int 1 - # Print the engine's profiling data in regular intervals (in seconds). # 0 = disable. Useful for developers. profiler_print_interval (Engine profiling data print interval) int 0 |