tree e4e70791e99b8946004684fe2a170d2e8d55b769
parent bd69acd53f120434b72f5494356556fbb98a4a5f
author Antonio García-Domínguez <agarcdomi@gmail.com> 1570016557 +0100
committer Antonio García-Domínguez <agarcdomi@gmail.com> 1570016557 +0100

Extract download deployment to script to work around unwieldy Jenkinsfile escaping