]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 30 Mar 2022 14:03:52 +0000 (16:03 +0200) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 30 Mar 2022 14:03:52 +0000 (16:03 +0200) | ||
| commit | 91b2553a1e7ef5ab9aebeec2f375fb2e24c6da05 | |
| tree | 5bcb33b9524a73b7412bac7ad60b015db18b8ac9 | tree | snapshot |
| parent | 847e4ed85e5c6e026470d15e3769ef45a9c95930 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |