"@file{}" -> @file{}
authorng0 <ng0@infotropique.org>
Thu, 26 Oct 2017 12:52:12 +0000 (12:52 +0000)
committerng0 <ng0@infotropique.org>
Thu, 26 Oct 2017 12:52:12 +0000 (12:52 +0000)
commitfea7c5644a6eb4fa9bb68bf201cbf55996ae1c79
tree171af5850e2c741f4afdb964e76af239d77b7df9
parent6667b33fde4d819385f9363601db58378560af28
"@file{}" -> @file{}
doc/documentation/chapters/developer.texi
doc/documentation/chapters/installation.texi