diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-06 18:14:00 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-04-18 18:02:25 +0200 |
commit | 0aa7517b0c8f58b4fb68eac29a73def9fe447a12 (patch) | |
tree | 060088ea1f86da55c49a6eaa7bdccad6de102c44 /features/pidgin.feature | |
parent | 5eb9510586770c4df7b90f657fdae87fda4050b4 (diff) | |
download | jenkins.debian.net-0aa7517b0c8f58b4fb68eac29a73def9fe447a12.tar.xz |
reproducible: setup_schroot: set up apt http_proxy in the chroot only if $http_proxy is defined
Diffstat (limited to 'features/pidgin.feature')
0 files changed, 0 insertions, 0 deletions