]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Mar 2022 15:02:53 +0000 (16:02 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 16 Mar 2022 15:02:53 +0000 (16:02 +0100) | ||
| commit | 6d0fe4b9202fed64414f8891ec99e37117affedf | |
| tree | d3c375b1b35c94808532dc86411398705fdd44d7 | tree | snapshot |
| parent | 712947e4c0452200e6ca4ceeb42bacecb1bacc50 | commit | diff |
| bootstrap.sh | diff | blob | blame | history | |
| doc/notes.txt | diff | blob | blame | history |