tree dbc4e9c8d42b2e887fc06ed0c5db703d3d8e8268
parent 90a90365a8a042c22b4475d8046c88732676851c
author Benno Schulenberg <bensberg@justemail.net> 1470053142 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1470053142 +0200

tweaks: normalize some whitespace and adjust several comments