diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-09-10 17:20:27 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-09-10 19:23:22 +0200 |
commit | f411e67edd2803b8f5bafe111d326a3a9d71eba5 (patch) | |
tree | 26188aacc9af585f54e998c875e7177da1e6da06 /live/config/chroot_local-includes/usr | |
parent | a5680faf836e4e1a71e8312dfb2a2b2d91ff9fa5 (diff) | |
download | jenkins.debian.net-f411e67edd2803b8f5bafe111d326a3a9d71eba5.tar.xz |
reproducible: build: requque a package for building in case of outadated builder and exit cleanly
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions