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
..
alacritty	home: terminal: remove DPI workaround	2023-02-12 17:32:48 +00:00
termite	home: terminal: put modules into folders	2021-09-26 23:09:32 +02:00
default.nix	home: terminal: add alacritty	2023-02-12 16:57:54 +00:00