Anthony Rodriguez e4731b490e make gnome font smaller, make gnome-terminal font bigger		2024-09-06 22:46:18 +02:00
..
common	make gnome font smaller, make gnome-terminal font bigger	2024-09-06 22:46:18 +02:00
desktop	rename base to common	2024-09-06 18:13:39 +02:00
laptop	rename base to common	2024-09-06 18:13:39 +02:00