author | Julius Bünger <buenger@mytum.de> | |
Fri, 27 Jul 2018 20:33:02 +0000 (22:33 +0200) | ||
committer | Julius Bünger <buenger@mytum.de> | |
Fri, 27 Jul 2018 20:33:02 +0000 (22:33 +0200) | ||
commit | 88d8593d0b28b81ced737da13a9c52e39faa8ec4 | |
tree | 06b7aae4472cbaa94205bc1fea843a8cfa789a01 | tree | snapshot |
parent | 07a57f226261b7a78a57cc6de7e9f03738994b29 | commit | diff |
doc/documentation/chapters/user.texi | diff | blob | history |