]>
author | Thomas Glanzmann <thomas@glanzmann.de> | |
Thu, 10 Mar 2022 08:40:20 +0000 (09:40 +0100) | ||
committer | Thomas Glanzmann <thomas@glanzmann.de> | |
Thu, 10 Mar 2022 08:40:20 +0000 (09:40 +0100) | ||
commit | 40c6aeffbb4651d483ce5a66f6debf2cc1893e61 | |
tree | 77272a9e6cefa7ab713f4691c125618dab172fb7 | tree | snapshot |
parent | 62ab3460d78190f12475ff598f5f1e17b8e96fba | commit | diff |
doc/notes.txt | diff | blob | blame | history |