user.texi: cleanup.
authorNils Gillmann <ng0@n0.is>
Tue, 11 Sep 2018 12:57:18 +0000 (12:57 +0000)
committerNils Gillmann <ng0@n0.is>
Tue, 11 Sep 2018 12:57:18 +0000 (12:57 +0000)
commitb08dbfe7c216533fc1da2d1311d5786ae8db1087
treebcc8945802db84869a24fadba72f3c33ca190cd5
parent965845e9c3612f40c4761d843f807f613fd635e9
user.texi: cleanup.

Signed-off-by: Nils Gillmann <ng0@n0.is>
doc/documentation/chapters/user.texi