diff options
| author | davidovski <david@davidovski.xyz> | 2022-05-17 19:09:55 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-05-17 19:09:55 +0100 |
| commit | ea69b732b3fedc07db6f67efb68ad30665d00ab9 (patch) | |
| tree | 97536b42115fb91388406111b303d86c1e5b4465 /src/build.sh | |
| parent | e5b726782e317ae4306a34d065171fd66a417186 (diff) | |
refined bootstrap procedure
Diffstat (limited to 'src/build.sh')
0 files changed, 0 insertions, 0 deletions