Gijs de Rooy 4f660c96a5 Remove (references to) archaic options		2014-02-07 14:08:15 +01:00
..
menu.xml	Updated UI to configure tooltips, mouse input	2013-10-25 17:22:12 +01:00
options.xml	Remove (references to) archaic options	2014-02-07 14:08:15 +01:00
sys.xml	New splash string. (Needs FR, DE, etc equivalent)	2013-09-30 16:37:10 +01:00