]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Feb 2022 12:49:40 +0000 (13:49 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Feb 2022 12:49:40 +0000 (13:49 +0100) | ||
| commit | 9ef76d5d0e21e7ddea3cebd5817d79fa697830ac | |
| tree | 4612d505331cb1a0dc29b59a06b36d7ca6a20959 | tree | snapshot |
| parent | 41550f2fe565b39e879078954d2f130057681373 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |