commit | cc87e81aca016142321b5bf3842fecd1bf3b4651 | [log] [tgz] |
---|---|---|
author | Antonio García-Domínguez <agarcdomi@gmail.com> | Fri Jun 05 10:44:40 2020 +0100 |
committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Fri Jun 05 10:44:40 2020 +0100 |
tree | 918330d23adb4d2184697927397066d1aacb1a70 | |
parent | b09813735e66219173b8739f6a028d418c11ff60 [diff] |
Non-core Jenkinsfiles: allow for manual rebuilds