followup, fix broken texinfo code
authorng0 <ng0@infotropique.org>
Fri, 20 Oct 2017 11:40:35 +0000 (11:40 +0000)
committerng0 <ng0@infotropique.org>
Fri, 20 Oct 2017 11:40:35 +0000 (11:40 +0000)
commit5e76e52ab07cb196fc7b0cfab435b251ff10f6e9
tree3657683f9796552b744155ee763c80753f98d136
parent6d839e76ef3d9f1a94757f137bb70659263eba7d
followup, fix broken texinfo code
doc/chapters/developer.texi