log Resources/holy-build-box-compile.sh @ 321:705be6d59d9b default tip

age author description
Fri, 22 Dec 2023 10:34:59 +0100 Sebastien Jodogne upgraded holy-build-box for compatibility with new buildbot worker
Thu, 23 Jan 2020 18:59:52 +0100 Sebastien Jodogne compilation using holy-build-box