]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 11 Mar 2022 07:47:25 +0000 (08:47 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 11 Mar 2022 07:47:25 +0000 (08:47 +0100) | ||
| commit | 6620d516ef11236962275b1c43c26f21b52bbbfb | |
| tree | cb68c5682e285c150c749f6ab8bebbb00c4234cb | tree | snapshot |
| parent | 8adb3bee228c9b16de441033bd26350e18d204e4 | commit | diff |
| bootstrap.sh | diff | blob | blame | history | |
| doc/notes.txt | diff | blob | blame | history |