]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Thu, 17 Nov 2022 13:43:01 +0000 (14:43 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Thu, 17 Nov 2022 13:43:01 +0000 (14:43 +0100) | ||
| commit | 0ccde951ef6798189a0b69b14fbbf46e8f8aebfb | |
| tree | 8e620ba7f9e5421b5b451a07ea3cb30e66de71d8 | tree | snapshot |
| parent | e5e61c74821f8e8fb61f6f7d394bdaa28536a96d | commit | diff |
| doc/notes.txt | diff | blob | blame | history |