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