]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Feb 2022 14:10:06 +0000 (15:10 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Feb 2022 14:10:06 +0000 (15:10 +0100) | ||
| commit | 1e9643525ffd6c9b95587501f93ee31216f1cd8d | |
| tree | 13e90fb104446d5ff4bf10b0df2d0ab600e3a863 | tree | snapshot |
| parent | 757a228604ca9c09a333cbfb2a020a7f2ebf3186 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |