]>
author | Thomas Glanzmann <thomas@glanzmann.de> | |
Mon, 21 Feb 2022 22:36:24 +0000 (23:36 +0100) | ||
committer | Thomas Glanzmann <thomas@glanzmann.de> | |
Mon, 21 Feb 2022 22:36:24 +0000 (23:36 +0100) | ||
commit | 2da241513a048ff82c2ef27a49195ed2c58c5971 | |
tree | 9b8f28613eb45c5e57e952a6fa6af5aefb1b7ab9 | tree | snapshot |
parent | a2845c74e267f0d75a8912a309882adbba880d2b | commit | diff |
doc/notes.txt | diff | blob | blame | history |