diff options
author | Hans-Christoph Steiner <hans@eds.org> | 2017-02-14 13:17:50 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-02-14 17:06:44 +0100 |
commit | 460759a4a9e91aaad00a0dfea9884be391bc4c23 (patch) | |
tree | c174d79c04d05491c191a7a3f8f70a1ebe5f07d1 /hosts/jtk1a-armhf-rb/etc/apt/apt.conf.d/80proxy | |
parent | 1dc921c4b7899502de087f29871698f77603c20f (diff) | |
download | jenkins.debian.net-460759a4a9e91aaad00a0dfea9884be391bc4c23.tar.xz |
reproducible fdroid: run job daily until we get it working
there are two of us working on this right now, so it would be very helpful
to have it running daily until we get it working.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jtk1a-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions