]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Thu, 24 Mar 2022 10:42:38 +0000 (11:42 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Thu, 24 Mar 2022 10:42:38 +0000 (11:42 +0100) | ||
| commit | 793f733999c43658e28ae1fd73e79284a4290bb2 | |
| tree | eb3651e358a21dab7cf2babe92790dd1d99b977b | tree | snapshot |
| parent | 764bbca1b425faeb18d975d2a22fa827250e06c7 | commit | diff |
| bootstrap.sh | diff | blob | blame | history | |
| doc/notes.txt | diff | blob | blame | history |