]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 27 Apr 2022 11:36:55 +0000 (13:36 +0200) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 27 Apr 2022 11:36:55 +0000 (13:36 +0200) | ||
| commit | b11fa1c82ee913968a354690acd6fc63bf4b53fb | |
| tree | b4f8af54f436382eb14b055167c026e9d96fbf86 | tree | snapshot |
| parent | d7a5b87134c74b538dd42a175af5c77d81e3419f | commit | diff |
| doc/notes.txt | diff | blob | blame | history |