New option to build.sh do run download.sh
* build.sh: New option --verbose and --download.
Description
Description
Details
Details
- Provenance
• werner Authored on Dec 10 2024, 10:13 AM - Parents
- rW3b537b68583d: Actually put the commit-id into the versioninfo.txt
- Branches
- Unknown
- Tags