Anthony Rodriguez 61134c04a7 fix fonts too big + add back font settings in gnome terminal		2024-08-26 03:30:52 +02:00
..
default.nix	fix fonts too big + add back font settings in gnome terminal	2024-08-26 03:30:52 +02:00