]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Tue, 15 Feb 2022 05:04:38 +0000 (06:04 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Tue, 15 Feb 2022 05:04:38 +0000 (06:04 +0100) | ||
| commit | 6de0ead9233df8d28b0d2c580aee7597f2349c4c | |
| tree | d5c7da33060df78a4e144a728d3d1ce746d5fffd | tree | snapshot |
| parent | 20af6ab4646bbc93670283f87b85503156698460 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |