]>
author | Andre Noll <maan@tuebingen.mpg.de> | |
Fri, 14 Jul 2017 13:39:28 +0000 (15:39 +0200) | ||
committer | Andre Noll <maan@tuebingen.mpg.de> | |
Sat, 15 Jul 2017 23:09:09 +0000 (01:09 +0200) | ||
commit | b900821b2beccd82a56f17bc43d9fa10e8533942 | |
tree | 2e035d7fecbca82125d277f15ec36ee38a1b5b4a | tree | snapshot |
parent | 0d711036d936076f05e2c93a9076cc441f3eb9f9 | commit | diff |
web/manual.md | diff | blob | history |