]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 13 Feb 2022 09:08:38 +0000 (10:08 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 13 Feb 2022 09:08:38 +0000 (10:08 +0100) | ||
| commit | f6f13b9e88dea60204100009a54bcc91c50cd55b | |
| tree | 2f16a98e5eaef6f1abb494752b94bc6923a81c8c | tree | snapshot |
| parent | 0c4f408e22dd3ff6ce3d97975deaa7a3ca060c64 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |