tree 918330d23adb4d2184697927397066d1aacb1a70
parent b09813735e66219173b8739f6a028d418c11ff60
author Antonio García-Domínguez <agarcdomi@gmail.com> 1591350280 +0100
committer Antonio García-Domínguez <agarcdomi@gmail.com> 1591350280 +0100

Non-core Jenkinsfiles: allow for manual rebuilds