]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 13 Feb 2022 05:28:06 +0000 (06:28 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 13 Feb 2022 05:28:06 +0000 (06:28 +0100) | ||
| commit | 0c4f408e22dd3ff6ce3d97975deaa7a3ca060c64 | |
| tree | 79c4567bda4ae0c38a94ecf671f2a1c134f56bc5 | tree | snapshot |
| parent | e70d320bc0f655bd424e1848231b555e34404537 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |