Thomas Avé 5c2ae30342 Switch to ubuntu font		2023-05-22 14:23:14 +02:00
..
config	Switch to ubuntu font	2023-05-22 14:23:14 +02:00
toggle_maximize.sh	Hack for window maximization	2023-05-22 13:52:28 +02:00