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
..
gnome-terminal	gnome-terminal: Make text slightly darker	2024-09-01 17:18:00 +00:00