doc/general.texi: fix warning
authorPaul B Mahol <onemda@gmail.com>
Thu, 29 Mar 2018 08:31:45 +0000 (10:31 +0200)
committerPaul B Mahol <onemda@gmail.com>
Thu, 29 Mar 2018 08:31:45 +0000 (10:31 +0200)
commitae1a8b06907e53f2defea2b9d1844b50715db03f
tree3e45cebd62a2ae7625f4ec149f4aea5e97030b02
parent2974b2556b2dae1347c9bee2ddc11c0d101a6d79
doc/general.texi: fix warning

Signed-off-by: Paul B Mahol <onemda@gmail.com>
doc/general.texi