Erin 66fc8d649a kde: tweak appearance+font of konsole		2022-10-15 19:05:43 -04:00
..
share	kde: tweak appearance+font of konsole	2022-10-15 19:05:43 -04:00