diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-09-07 10:24:56 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-09-07 10:24:56 +0200 |
| commit | 230121e839cc8adaf4a81771529ef6327f1bd3ad (patch) | |
| tree | bfaa13ce4ed8f43442058e8fb1d1367b43465543 /hosts/wbd0-armhf-rb/etc/apt/apt.conf.d/80proxy | |
| parent | 291ec41c70fea42a0938f2bc607e76c973f79f41 (diff) | |
| download | jenkins.debian.net-230121e839cc8adaf4a81771529ef6327f1bd3ad.tar.xz | |
reproducible Debian: also apply workaround for #844220 / #872812 here
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/wbd0-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions