]>
author | Andre Noll <maan@tuebingen.mpg.de> | |
Sat, 26 Aug 2017 18:31:41 +0000 (20:31 +0200) | ||
committer | Andre Noll <maan@tuebingen.mpg.de> | |
Sat, 26 Aug 2017 19:12:05 +0000 (21:12 +0200) | ||
commit | fdd42bed6f2a0b50d20cbbcc002ff1f8567279c4 | |
tree | 9b15eebe3ca028c9e3752812b08f4dd0db642d58 | tree | snapshot |
parent | c3237b2165f8300955db7ada200fd916c983c788 | commit | diff |
web/manual.md | diff | blob | history |