doc: fix up a section in developer
authorng0 <ng0@n0.is>
Sat, 3 Feb 2018 12:12:41 +0000 (12:12 +0000)
committerng0 <ng0@n0.is>
Sat, 3 Feb 2018 12:12:41 +0000 (12:12 +0000)
commit5be17e758e3ae97a68341453175ef246c6367737
treefd169fc3481d4838924a90ade6bd6c227f48e12f
parent8f5b7c0a015449675667505a6efe4357efa01954
doc: fix up a section in developer
doc/documentation/chapters/developer.texi