doc: user: minor changes.
authorng0 <ng0@infotropique.org>
Sun, 20 Aug 2017 23:16:15 +0000 (23:16 +0000)
committerng0 <ng0@infotropique.org>
Sun, 20 Aug 2017 23:16:15 +0000 (23:16 +0000)
commitd0afb770f34c2fb1aa2c13df69003caf2baa4e2d
tree55afd6ec25224c60f4924acfa9a8a46fb72e40e7
parentc5d3800adb6d1635cd8dfc33a44bdbf2f1b85fb3
doc: user: minor changes.
doc/chapters/user.texi