From: terencehill <piuntn@gmail.com>
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