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/jenkins/etc | |
| parent | 321db9510cc2dafb785a3ec6d7d7068790f9e255 (diff) | |
| download | jenkins.debian.net-dfdcc8682eee19ed5d596ab0be7326c573fe8c7b.tar.xz | |
reproducible armhf: raise MAXIMA on armhf, to schedule less often
Diffstat (limited to 'hosts/jenkins/etc')
0 files changed, 0 insertions, 0 deletions