corrections in developer.texi
authorng0 <ng0@infotropique.org>
Thu, 19 Oct 2017 17:24:59 +0000 (17:24 +0000)
committerng0 <ng0@infotropique.org>
Thu, 19 Oct 2017 17:24:59 +0000 (17:24 +0000)
commit75a88df9c49c9e1b0e4d1e3c3df8f6daf2702dda
tree4ce4d59318e4e13eaef8e88f6784808c121dc5b0
parentfe56dd7705c53203b2c56889ad316bff897f4a9e
corrections in developer.texi
doc/chapters/developer.texi