|
e4731b490e
|
make gnome font smaller, make gnome-terminal font bigger
|
2024-09-06 22:46:18 +02:00 |
|
|
23d0d81bd3
|
add nerd font, hide gnome-terminal menu bar, update intel mono to nerd font
|
2024-09-06 22:35:44 +02:00 |
|
|
1ee69b31f2
|
remove wezterm from gnome, add gnome terminal back
|
2024-09-06 22:18:49 +02:00 |
|
|
68348881a4
|
rename base to common
|
2024-09-06 18:13:39 +02:00 |
|