Thomas A 7585a42352 Update build-number reading ... make build-number configurable with a build-argument allow the build-number query to timeout		2022-05-10 19:35:15 +02:00
..
build.sh	Update build-number reading	2022-05-10 19:35:15 +02:00
clone.sh	Use -x for Bash scripts	2022-05-07 16:28:40 +02:00