fix
authorng0 <ng0@infotropique.org>
Tue, 24 Oct 2017 12:55:51 +0000 (12:55 +0000)
committerng0 <ng0@infotropique.org>
Tue, 24 Oct 2017 12:55:51 +0000 (12:55 +0000)
commit2f3db56899e063f04271f802f451e07dfcf73d98
tree6e70351f6037433555ab86fd83a87f50a2eb2b80
parent1b97e6794813ff5ad390a10e972ea92002d85ee4
fix
doc/documentation/chapters/developer.texi