diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-12-03 16:51:47 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-12-03 17:03:05 +0100 |
| commit | d4bcc0bfe31c49444746a372d74016486030f0f9 (patch) | |
| tree | e5ca665753297c79a7be9d74078bee921135e6bc /hosts/ff4a-armhf-rb/etc/apt/apt.conf.d/80proxy | |
| parent | d9ee72c7ffe00c91bce29187d7395eff91a9c964 (diff) | |
| download | jenkins.debian.net-d4bcc0bfe31c49444746a372d74016486030f0f9.tar.xz | |
reproducible debian: remote scheduler: de-duplicate the list later to keep the whole script functional
otherwise the filter functions wouldn't work
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/ff4a-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions