Jure Podgoršek 11e2695395 Config updates (hidpi adjustments, tweaks)		2018-05-22 17:26:20 +02:00
..
config	Config updates (hidpi adjustments, tweaks)	2018-05-22 17:26:20 +02:00