3 commits

Author	SHA1	Message	Date
Jonathan Schleifer	0eb16c1c85	gnome-terminal: Make text slightly darker ... This allows to distinguish it better from bold text.	2024-09-01 17:18:00 +00:00
Jonathan Schleifer	f31ca7a573	Update gnome-terminal profile	2023-05-28 11:40:59 +00:00
Jonathan Schleifer	27052f4369	Include some GNOME settings	2023-04-29 23:06:05 +00:00