Bruno BELANYI 4f883b0198 home: terminal: remove DPI workaround ... And instead change the font size to be *about* right.		2023-02-12 17:32:48 +00:00
..
default.nix	home: terminal: remove DPI workaround	2023-02-12 17:32:48 +00:00