doc: user: Minor fix.
authorng0 <ng0@infotropique.org>
Sun, 20 Aug 2017 23:13:28 +0000 (23:13 +0000)
committerng0 <ng0@infotropique.org>
Sun, 20 Aug 2017 23:13:28 +0000 (23:13 +0000)
commitc5d3800adb6d1635cd8dfc33a44bdbf2f1b85fb3
tree8e096fe512937b2381c297d19fa231c68eb7c60d
parent8b0d456c71004d4ab8d0a028d29bf1da97883f28
doc: user: Minor fix.
doc/chapters/user.texi