diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-12-21 18:07:56 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-21 18:07:56 +0100 |
commit | dfdcc8682eee19ed5d596ab0be7326c573fe8c7b (patch) | |
tree | 38725a4373891471c20908cd6f1c23f7a4ed5b2c /hosts/odxu4-armhf-rb/etc/apt/apt.conf.d/80proxy | |
parent | 321db9510cc2dafb785a3ec6d7d7068790f9e255 (diff) | |
download | jenkins.debian.net-dfdcc8682eee19ed5d596ab0be7326c573fe8c7b.tar.xz |
reproducible armhf: raise MAXIMA on armhf, to schedule less often
Diffstat (limited to 'hosts/odxu4-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions