configs  Tags and Properties

Tags and Properties for Check-in 4d3df85dbc

Context
2023-05-28
11:40
Update gnome-terminal profile check-in: 4d3df85dbc user: js tags: trunk
2012-03-19
15:44
Initial import check-in: e895731002 user: js tags: trunk