minor text fixes
authorxrs <xrs@mail36.net>
Sat, 20 Jul 2019 09:59:22 +0000 (11:59 +0200)
committerxrs <xrs@mail36.net>
Sat, 20 Jul 2019 09:59:22 +0000 (11:59 +0200)
commit4a85347dcea576d8f297efba24c1aaa77ded92d0
treeb58914b4b2f61b435d3e3af9be24869471b237be
parentc3b9d89432edc264a18d6d98665110dff4aeb4f1
minor text fixes
doc/handbook/chapters/developer.texi