From: terencehill Date: Sat, 31 Aug 2024 09:08:21 +0000 (+0000) Subject: Merge branch 'Mario/menu_developer_options' into 'master' X-Git-Url: https://git.rm.cloudns.org/?a=commitdiff_plain;h=29df014dea7fb181ed3b076704cbf17120ec0d1d;p=xonotic%2Fxonotic-data.pk3dir.git Merge branch 'Mario/menu_developer_options' into 'master' Clean up the use of developer in the menu and remove other weird settings See merge request xonotic/xonotic-data.pk3dir!1323 --- 29df014dea7fb181ed3b076704cbf17120ec0d1d