]>
author | Andre Noll <maan@tuebingen.mpg.de> | |
Mon, 26 Dec 2016 16:13:28 +0000 (17:13 +0100) | ||
committer | Andre Noll <maan@tuebingen.mpg.de> | |
Fri, 30 Dec 2016 14:22:31 +0000 (15:22 +0100) | ||
commit | c5f8faf9c0f0a63422982f87073a68613b5d117e | |
tree | 5e4e180c8ab407f43596a43dac9810abc927267a | tree | snapshot |
parent | b5f9618cde29dfe0871b420c54c094362e3b5dc6 | commit | diff |
web/manual.md | diff | blob | history |