configs  Tags and Properties

Tags and Properties for Check-in 6fc784e055

Context
2020-02-02
21:18
fish: Slight improvement of prompt check-in: 6fc784e055 user: js tags: trunk
2012-03-19
15:44
Initial import check-in: e895731002 user: js tags: trunk