]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Feb 2022 12:52:30 +0000 (13:52 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Feb 2022 12:52:30 +0000 (13:52 +0100) | ||
| commit | 757a228604ca9c09a333cbfb2a020a7f2ebf3186 | |
| tree | b095ccfbf4a3ad3f101deb41bf69286698390bbf | tree | snapshot |
| parent | 9ef76d5d0e21e7ddea3cebd5817d79fa697830ac | commit | diff |
| doc/notes.txt | diff | blob | blame | history |