minor docu fix

This commit is contained in:
anhefti 2021-03-31 15:41:24 +02:00
parent 1535fd97de
commit 70d69ea0ee