Diogo Peralta Cordeiro a14d85e4b9 fix font sizes due to new xfce dpi system		2023-09-08 21:05:08 +01:00
..
kitty	fix font sizes due to new xfce dpi system	2023-09-08 21:05:08 +01:00