diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-12-02 14:11:02 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-09 11:28:32 +0100 |
commit | 5ca30ca93c8ebd5d659c2f0d4cb71c2062b1607a (patch) | |
tree | 77af0283608e6f3ce0e1159e877907ff7b402e28 /hosts/wbd0-armhf-rb/etc/apt/apt.conf.d/80proxy | |
parent | d5ac801b0f9ae629b9468309011785271acb717c (diff) | |
download | jenkins.debian.net-5ca30ca93c8ebd5d659c2f0d4cb71c2062b1607a.tar.xz |
reproducible: remote_scheduler: also force notification when asking for artifacts
Diffstat (limited to 'hosts/wbd0-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions