]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 27 Apr 2022 12:51:11 +0000 (14:51 +0200) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 27 Apr 2022 12:51:11 +0000 (14:51 +0200) | ||
| commit | 353f2ec3d2dcb44d390cdcae855321759d71edb6 | |
| tree | abb41833a1834b6950fb967153a77fae1c89857f | tree | snapshot |
| parent | b11fa1c82ee913968a354690acd6fc63bf4b53fb | commit | diff |
| doc/notes.txt | diff | blob | blame | history |