update docs more
authorSchanzenbach, Martin <mschanzenbach@posteo.de>
Sat, 23 Feb 2019 18:43:02 +0000 (19:43 +0100)
committerSchanzenbach, Martin <mschanzenbach@posteo.de>
Sat, 23 Feb 2019 18:43:02 +0000 (19:43 +0100)
commit61428b21903fc382ef2897192a0c3af03e6af48d
tree324e72527517f470c59871c962a43abe56bc9892
parentb57459d70dc56b7f0e5c50f86e33a1c40600f073
update docs more
doc/handbook/chapters/user.texi