Silvan Calarco 4590b7d53d konsole: set font size = 10 in openmamba.profile		2011-10-23 13:21:31 +02:00
..
openmamba.profile	konsole: set font size = 10 in openmamba.profile	2011-10-23 13:21:31 +02:00