]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 13 Feb 2022 09:11:19 +0000 (10:11 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 13 Feb 2022 09:11:19 +0000 (10:11 +0100) | ||
| commit | bc854271e324bbe65d11107f523052f150c675f9 | |
| tree | 13e16a4ad3edd2b5eb4531c14f289a559584243e | tree | snapshot | 
| parent | f6f13b9e88dea60204100009a54bcc91c50cd55b | commit | diff | 
| doc/notes.txt | diff | blob | blame | history |