RichardG867 c4bb7e79a7 Upgrade build script to 8-character git hashes per the old system

2021-11-12 15:16:19 -03:00

..

build.sh

Upgrade build script to 8-character git hashes per the old system

2021-11-12 15:16:19 -03:00

Jenkinsfile

Rename .jenkins to a more generic .ci

2021-11-10 15:40:19 -03:00

static2dll.sh

Rename .jenkins to a more generic .ci

2021-11-10 15:40:19 -03:00