diff options
| author | Franck Cuny <franck@fcuny.net> | 2023-12-04 08:11:58 -0800 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2023-12-04 08:11:58 -0800 |
| commit | 86556478a7b95cebf3093ccaa5760f8a740e45ec (patch) | |
| tree | c73ac1a3b72f14030db25c9faa0606c46d123917 /docs/tools.org | |
| parent | add a CI configuration for this repo (diff) | |
| download | world-86556478a7b95cebf3093ccaa5760f8a740e45ec.tar.gz | |
clean up the build script
As suggested by shellcheck.
Diffstat (limited to 'docs/tools.org')
0 files changed, 0 insertions, 0 deletions