Anthony Rodriguez e4731b490e make gnome font smaller, make gnome-terminal font bigger		2024-09-06 22:46:18 +02:00
..
default.nix	make gnome font smaller, make gnome-terminal font bigger	2024-09-06 22:46:18 +02:00