Jonathan Schleifer f31ca7a573 Update gnome-terminal profile		2023-05-28 11:40:59 +00:00
..
gnome-terminal	Update gnome-terminal profile	2023-05-28 11:40:59 +00:00