]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Mar 2022 07:36:26 +0000 (08:36 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Mar 2022 07:36:26 +0000 (08:36 +0100) | ||
| commit | 712947e4c0452200e6ca4ceeb42bacecb1bacc50 | |
| tree | 4da67ca031ee535e52d6f162b372e76c7781e82f | tree | snapshot |
| parent | 814f760bfaf1c92f6ccb30a89bbe9505dd106a02 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |