Gijs de Rooy 5d1184dd70 Remove unused option --control		2014-06-19 14:20:57 +02:00
..
menu.xml	Update Dutch translations	2013-01-29 11:07:19 +01:00
options.xml	Remove unused option --control	2014-06-19 14:20:57 +02:00
sys.xml	Update NL splash translations	2013-09-30 20:50:43 +02:00