]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 11 Feb 2022 20:04:46 +0000 (21:04 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 11 Feb 2022 20:04:46 +0000 (21:04 +0100) | ||
| commit | 37f2333880d9008626fd1c368d6e3f9b1a455875 | |
| tree | 000de65f328d258872f782ac5df5b1bbf6de8bee | tree | snapshot |
| parent | 14a89953f4035ec5dff0723b29af6fe28a41ab23 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |