author | Julius Bünger <buenger@mytum.de> | |
Thu, 28 Jun 2018 08:09:03 +0000 (10:09 +0200) | ||
committer | Julius Bünger <buenger@mytum.de> | |
Thu, 28 Jun 2018 08:09:03 +0000 (10:09 +0200) | ||
commit | 6bba039b3447e128ae67eee9340d8eedd2409ec2 | |
tree | b2c71430158573031f95291b8fd37b5daf3d4bfa | tree | snapshot |
parent | eb03bd9d69abd3f51f413a36e261f94868c6be9b | commit | diff |
doc/documentation/chapters/user.texi | diff | blob | history |