]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 27 Feb 2022 12:17:14 +0000 (13:17 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 27 Feb 2022 12:17:14 +0000 (13:17 +0100) | ||
| commit | b16f82dcbd4bf0fa0b9129aca0b97ba2978ddbc5 | |
| tree | 607c1ed46b3002ab4872182a17ec9fc9e966c334 | tree | snapshot |
| parent | 5064faae513ad55e98babaa5f495ed4c3712650e | commit | diff |
| doc/notes.txt | diff | blob | blame | history |