tree c391e759e0af3fffe7c9bdca70b96e91f0fb5443
parent 0be894fb5a43e3acaa2b9ac91c6097f36a63387d
author Akron <nils@diewald-online.de> 1600690754 +0200
committer Akron <nils@diewald-online.de> 1600690754 +0200

Minor fix in documentation

Change-Id: Id324428cff2d7a0868c268aa44e85ac85bade9b1