tree 68356f08f865fd0bfff286acb570b72d7cb3c1f5
parent b43e5fc508587f4f6d54114271c484726c3719a1
author Michael Jastram <michael@jastram.de> 1488472290 +0100
committer Michael Jastram <michael@jastram.de> 1488472290 +0100

Minor documentation improvements