manual: Various minor fixes.
authorUwe Hermann <uwe@hermann-uwe.de>
Wed, 3 Oct 2018 18:47:22 +0000 (20:47 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Wed, 3 Oct 2018 19:02:27 +0000 (21:02 +0200)

No differences found