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 /debian/copyright | |
| 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 'debian/copyright')
0 files changed, 0 insertions, 0 deletions