update
authorSchanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de>
Thu, 9 Aug 2018 08:54:21 +0000 (10:54 +0200)
committerSchanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de>
Thu, 9 Aug 2018 08:54:21 +0000 (10:54 +0200)
commit4b691472077b84f1986f0fed678ffe0aed6f6d42
tree686da45fc8b85a8e53485c2f9933646d78cfc24e
parent6f78cbe8ca06b0c6333436864974ffe4c970a7e6
update
doc/documentation/chapters/user.texi