diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-09-11 16:17:14 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-09-11 16:17:14 +0200 |
commit | 1e2bc3633e18ed8ef7c629257d5dd871a3e6a316 (patch) | |
tree | f9939e5ff30a284f38892bbcb54adc47e365cafd /live/config/chroot_local-includes/usr | |
parent | 8758d820d6ee4b668f70210ec594b90ba58ab075 (diff) | |
download | jenkins.debian.net-1e2bc3633e18ed8ef7c629257d5dd871a3e6a316.tar.xz |
reproducible: more gracefully deal with problems downloading the sources
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions