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
..
default.cfg	Enhance the main menu options page and use it to replace the in-game settings page..	2014-04-26 19:31:23 +00:00
dev.cfg	Write mod data correctly. Fixes #1940.	2013-06-11 20:50:09 +00:00
keys.txt	Updates keys.txt with new keynames, refs #2043	2013-08-03 20:39:15 +00:00