]>
author | Andre Noll <maan@tuebingen.mpg.de> | |
Sat, 15 Jul 2017 13:33:47 +0000 (15:33 +0200) | ||
committer | Andre Noll <maan@tuebingen.mpg.de> | |
Sat, 15 Jul 2017 23:09:09 +0000 (01:09 +0200) | ||
commit | 40a60cb3cfe62626a41f677046e714c0577dc745 | |
tree | 14954bdc180e75a90c09d5faf8e43c3f974ec5a0 | tree | snapshot |
parent | b900821b2beccd82a56f17bc43d9fa10e8533942 | commit | diff |
web/manual.md | diff | blob | history |