]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Mar 2022 15:45:29 +0000 (16:45 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Mar 2022 15:45:29 +0000 (16:45 +0100) | ||
| commit | c8171eb601c978cbd829adab8c354cefdc387a82 | |
| tree | d7d439fba188906380eea4756053811c42bb428d | tree | snapshot |
| parent | 6d0fe4b9202fed64414f8891ec99e37117affedf | commit | diff |
| doc/notes.txt | diff | blob | blame | history |