]>
author | Thomas Glanzmann <thomas@glanzmann.de> | |
Fri, 6 Oct 2023 12:25:42 +0000 (14:25 +0200) | ||
committer | Thomas Glanzmann <thomas@glanzmann.de> | |
Fri, 6 Oct 2023 12:25:42 +0000 (14:25 +0200) | ||
commit | 9a4bdc5113d033f222e3383a427ef2c107532eb4 | |
tree | 8608e4aa7102f29b88eb78df17791a4cb466f4c0 | tree | snapshot |
parent | 7df442470822f520e36f793ed3f941ea6c087e63 | commit | diff |
doc/notes.txt | diff | blob | blame | history |