]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 21:13:17 +0000 (22:13 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 21:13:17 +0000 (22:13 +0100) | ||
| commit | 20c4132a2d33208872b806db182ac14c2334d18a | |
| tree | 7d7de2e19924515666553a9c33de179a083634a3 | tree | snapshot |
| parent | aebc04bec64f561f90a33295f651c83a3a02bd3e | commit | diff |
| doc/notes.txt | diff | blob | blame | history |