iNPUTmice d92e8381db setting to increase font size. fixed #420		2014-09-08 23:58:37 +02:00
..
preferences.xml	setting to increase font size. fixed #420	2014-09-08 23:58:37 +02:00