]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Tue, 15 Mar 2022 21:37:11 +0000 (22:37 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Tue, 15 Mar 2022 21:37:11 +0000 (22:37 +0100) | ||
| commit | f15434b06d3fdbdba479af9d441cbc50875fa6ce | |
| tree | 24cfe391536d77f1ee90a9bc04380667ddcab89f | tree | snapshot |
| parent | 3e3b99595e231720bdc938ebb40828a4d315f48a | commit | diff |
| bootstrap.sh | diff | blob | blame | history | |
| doc/notes.txt | diff | blob | blame | history |