tree 6ccadd872001f70fee05069a96278c817207d595
parent d9cae81a0e51de9e5edc257179edd01f00e553e7
author Benno Schulenberg <bensberg@justemail.net> 1477166822 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1477218561 +0200

tweaks: make several small adjustments to the documentation