Anthony Rodriguez 23d0d81bd3 add nerd font, hide gnome-terminal menu bar, update intel mono to nerd font		2024-09-06 22:35:44 +02:00
..
default.nix	add nerd font, hide gnome-terminal menu bar, update intel mono to nerd font	2024-09-06 22:35:44 +02:00