update docs more
authorSchanzenbach, Martin <mschanzenbach@posteo.de>
Sat, 23 Feb 2019 18:45:15 +0000 (19:45 +0100)
committerSchanzenbach, Martin <mschanzenbach@posteo.de>
Sat, 23 Feb 2019 18:45:15 +0000 (19:45 +0100)
commit62810530fa577c4869c0ae65a395d94a7512926a
tree68d067d88f5cc3426687498c46e30a0c54e8dfce
parent61428b21903fc382ef2897192a0c3af03e6af48d
update docs more
doc/handbook/chapters/user.texi