]>
author | Andre Noll <maan@tuebingen.mpg.de> | |
Mon, 25 Nov 2024 20:05:07 +0000 (21:05 +0100) | ||
committer | Andre Noll <maan@tuebingen.mpg.de> | |
Tue, 26 Nov 2024 16:08:23 +0000 (17:08 +0100) | ||
commit | ad729c2b5933c192d34159d5a5d01ef6d469356c | |
tree | 83cdf21894b9e636d01f64a59ec49f46b15070fe | tree | snapshot |
parent | 7d391cdac1e8790bd5b6dd3ed56ed2c8d4a58de7 | commit | diff |
web/manual.md | diff | blob | history |