doc: chapters/user.texi: Some fixes, some improvements.
authorng0 <ng0@infotropique.org>
Thu, 7 Sep 2017 07:57:36 +0000 (07:57 +0000)
committerng0 <ng0@infotropique.org>
Thu, 7 Sep 2017 07:57:36 +0000 (07:57 +0000)
commit4257203c2bf0708cd29a3a8e1809e5e08d795737
tree8fb3c3c52ee6877c8b953e7f42240509770ec86e
parent37dff13cbbed76fb1d0952005e9289fe86bc2ca9
doc: chapters/user.texi: Some fixes, some improvements.
doc/chapters/user.texi