]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 20 Feb 2022 20:11:14 +0000 (21:11 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 20 Feb 2022 20:11:14 +0000 (21:11 +0100) | ||
| commit | 5e24301e41ad7f02c5a4a641954a3426336b8f2e | |
| tree | c939688cac8a2c9080d08688611434fa39268c76 | tree | snapshot |
| parent | f91e9d163bf5db64fd2148de4b8f05cdaa0a8ffc | commit | diff |
| doc/notes.txt | diff | blob | blame | history |