]>
author | Thomas Glanzmann <thomas@glanzmann.de> | |
Sat, 19 Feb 2022 18:23:15 +0000 (19:23 +0100) | ||
committer | Thomas Glanzmann <thomas@glanzmann.de> | |
Sat, 19 Feb 2022 18:23:15 +0000 (19:23 +0100) | ||
commit | 77d777c54f10bd27ea1a8d5b83257cfa39c52bfd | |
tree | d3a15e52b76fa4d4246ad0d0d40334075f45578c | tree | snapshot |
parent | 376e9a36ae4fa105c8f7b34a8e9f765616527b5e | commit | diff |
doc/notes.txt | diff | blob | blame | history |