]>
author | Andre Noll <maan@tuebingen.mpg.de> | |
Wed, 8 May 2024 17:56:46 +0000 (19:56 +0200) | ||
committer | Andre Noll <maan@tuebingen.mpg.de> | |
Wed, 8 May 2024 17:59:22 +0000 (19:59 +0200) | ||
commit | 945339514d6f5ace549635537e4fab4cdbf4c71b | |
tree | b69ebb7fdeb4c8764adf5d7d9af2839ebb6f09c6 | tree | snapshot |
parent | 217149fecdc9053676aaaa929ace79e92135a34d | commit | diff |
web/manual.md | diff | blob | history |