Tags and Properties for Check-in 7e6847fd5e

Context
2022-10-26
13:59
more pylint changes check-in: 7e6847fd5e user: mario tags: trunk
2018-05-18
13:51
initial empty check-in check-in: db9f884efc user: mario tags: trunk