mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-26 08:37:40 +00:00
f7c879a171
Note that this doesn't remove the themes dialog functionality, since it is currently used by the :theme command in the game console.