]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 21:21:30 +0000 (22:21 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 21:21:30 +0000 (22:21 +0100) | ||
| commit | 26f5bdf315fa59b2cc93158de1f92e5a1e6ee7cd | |
| tree | af15ac4afa8dab647703f096f8411076d47f682c | tree | snapshot |
| parent | 898984a92b01243258a9ce89934b704d5f1c2dfe | commit | diff |
| parent | 20c4132a2d33208872b806db182ac14c2334d18a | commit | diff |
| bootstrap.sh | diff1 | | diff2 | | blob | history |
| doc/notes.txt | diff1 | | diff2 | | blob | history |