minor improvement for printout

This commit is contained in:
2021-08-02 16:19:37 +02:00
parent dee063e259
commit 0e5cfcf28f