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