Documentation: fix.
authorNils Gillmann <ng0@n0.is>
Wed, 4 Jul 2018 08:25:02 +0000 (08:25 +0000)
committerNils Gillmann <ng0@n0.is>
Wed, 4 Jul 2018 08:25:02 +0000 (08:25 +0000)
commit630bd474065048c7ec2ba0d4e74ef040e5ad2814
treef79761e62dd8b8a734856a94b1f68aab14351897
parent5894928c7a8489c314ca6089a34220d2bded6265
Documentation: fix.

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