author | Julius Bünger <buenger@mytum.de> | |
Wed, 27 Jun 2018 22:35:14 +0000 (00:35 +0200) | ||
committer | Julius Bünger <buenger@mytum.de> | |
Wed, 27 Jun 2018 22:35:14 +0000 (00:35 +0200) | ||
commit | f425a18fa4556aa1f41397de0cb6605017e3f234 | |
tree | b2cb2dfad8d6de9a4766c2fd092e80262c2805de | tree | snapshot |
parent | ee31ad45010cce040432163b026a3d8c873dd63d | commit | diff |
doc/documentation/chapters/user.texi | diff | blob | history |