Tags and Properties for Check-in a88ee41164

Context
2022-10-27
10:43
pylint fixes, doc additions check-in: a88ee41164 user: mario tags: trunk
2018-05-18
13:51
initial empty check-in check-in: db9f884efc user: mario tags: trunk