fix docs
authorSchanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de>
Tue, 11 Sep 2018 13:05:59 +0000 (15:05 +0200)
committerSchanzenbach, Martin <mschanzenbach@posteo.de>
Tue, 11 Sep 2018 13:11:51 +0000 (15:11 +0200)
commitb17ba0c1c5361dd6fbb5f2c0e53b80bf992491fe
tree06dbb6a53f06251d2debdac7512ae8933642de06
parentb08dbfe7c216533fc1da2d1311d5786ae8db1087
fix docs
doc/documentation/chapters/user.texi