]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Thu, 17 Mar 2022 15:45:51 +0000 (16:45 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Thu, 17 Mar 2022 15:45:51 +0000 (16:45 +0100) | ||
| commit | 8837532b0d117c3b2f98984b8fb3f154cdfca731 | |
| tree | 12fe3065c08469a70cf243d85e3d1142f8b98df5 | tree | snapshot |
| parent | 800e7640f20392a312c2a1513b3248a4116f2aab | commit | diff |
| doc/notes.txt | diff | blob | blame | history |