#BUGFIX by cg
authorClaus Gittinger <cg@exept.de>
Thu, 14 Mar 2019 00:24:10 +0100
changeset 6561 2a359407598e
parent 6560 5f15089eb908
child 6562 81227f5c6bfa
#BUGFIX by cg inst side (for TextCollector)