]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Tue, 1 Mar 2022 20:57:28 +0000 (21:57 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Tue, 1 Mar 2022 20:57:28 +0000 (21:57 +0100) | ||
| commit | 7fada752e72e7bb1637ac513080f9eeb0896937d | |
| tree | 6e4c2820799a823c8b379dab1d58997c328b1f65 | tree | snapshot | 
| parent | 2ad631dc766efdf45e699dc24ae4d036911e9211 | commit | diff | 
| doc/notes.txt | diff | blob | blame | history |