"@code{}" -> @code{}
authorng0 <ng0@infotropique.org>
Thu, 26 Oct 2017 12:49:54 +0000 (12:49 +0000)
committerng0 <ng0@infotropique.org>
Thu, 26 Oct 2017 12:49:54 +0000 (12:49 +0000)
commit6667b33fde4d819385f9363601db58378560af28
treefa7b3f8be4d42e0560306c4357dcc2d09206589c
parente2f0870adf4baad5dfefaefd92c122ee9e1e0e5a
"@code{}" -> @code{}
doc/documentation/chapters/developer.texi
doc/documentation/chapters/installation.texi