diff options
author | Alexander Couzens <lynxis@fe80.eu> | 2017-06-18 23:40:05 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-06-19 00:10:45 +0200 |
commit | 31df403c8b33cc54a16d07f1930a7079ccaba3a2 (patch) | |
tree | 8aca5d7bc9aa29a3d65d3157c79e446963a7ed2f /debian/source/format | |
parent | dd252fb7adc38adad977b5aefa712ed765aea79d (diff) | |
download | jenkins.debian.net-31df403c8b33cc54a16d07f1930a7079ccaba3a2.tar.xz |
reproducible_{openwrt,lede}: move toolchain.html creation to remote node
There is no sense in creating the toolchain part on the jenkins master.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions