tree f207a337544cefff6fdbd0c30c0e51f8c1e54782
parent bb6df52ed554b230a08554bf35be4fa36d95ed38
author Dirk Ziegelmeier <dirk@ziegelmeier.net> 1481200534 +0100
committer Dirk Ziegelmeier <dirk@ziegelmeier.net> 1481200534 +0100

Minor documentation improvement