]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Feb 2022 18:13:45 +0000 (19:13 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Feb 2022 18:13:45 +0000 (19:13 +0100) | ||
| commit | 54350e1e04d83e9c32647a9ff4a8e730dd7a4b7e | |
| tree | 6ee2bba1fc0f0ee1e083d54174fc72c52090e930 | tree | snapshot |
| parent | a82d1db53e96ab2117315d775e3cb3a275a0a284 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |