]>
author | Thomas Glanzmann <thomas@glanzmann.de> | |
Mon, 21 Feb 2022 10:17:21 +0000 (11:17 +0100) | ||
committer | Thomas Glanzmann <thomas@glanzmann.de> | |
Mon, 21 Feb 2022 10:17:21 +0000 (11:17 +0100) | ||
commit | 848792f51d9fe26bde127c94f37aedf9b578098e | |
tree | f703299d843551e2c7592689731ddaf455bb0cfb | tree | snapshot |
parent | c3d375cc6da80806f7040e82c94f976d0e2b5785 | commit | diff |
doc/notes.txt | diff | blob | blame | history |