JoshuaJB abf12fb503 Enhance the main menu options page and use it to replace the in-game settings page.. ... This was SVN commit r15007.		2014-04-26 19:31:23 +00:00
..
options.js	Enhance the main menu options page and use it to replace the in-game settings page..	2014-04-26 19:31:23 +00:00
options.xml	Swap button placement on options page to be more consistant with other parts of the GUI.	2014-04-26 18:03:29 +00:00