polish/update user documentation - first steps
authorJulius Bünger <buenger@mytum.de>
Wed, 27 Jun 2018 22:35:14 +0000 (00:35 +0200)
committerJulius Bünger <buenger@mytum.de>
Wed, 27 Jun 2018 22:35:14 +0000 (00:35 +0200)
commitf425a18fa4556aa1f41397de0cb6605017e3f234
treeb2cb2dfad8d6de9a4766c2fd092e80262c2805de
parentee31ad45010cce040432163b026a3d8c873dd63d
polish/update user documentation - first steps
doc/documentation/chapters/user.texi