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