]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 22:50:13 +0000 (23:50 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 22:50:13 +0000 (23:50 +0100) | ||
| commit | 7c8aab25f3702bfe9929c1b8cfe9bf4b3db2e7fb | |
| tree | a6f78fe78921d276eaddbbd487fae530dc2d8b3b | tree | snapshot |
| parent | 5fe4d91274cb4d5dc841fea66804f553a256fa0b | commit | diff |
| doc/notes.txt | diff | blob | blame | history |