diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-17 23:04:12 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-18 12:00:54 +0200 |
commit | 752bc4db0d48be2fb0454b645469c945c9326d9d (patch) | |
tree | e1e95763d6039fabf9e691995dcac69fba027835 /jenkins-home | |
parent | 75ade76a6ca4c73cf4b7d3de06358d64d54510c0 (diff) | |
download | jenkins.debian.net-752bc4db0d48be2fb0454b645469c945c9326d9d.tar.xz |
reproducible: build: (re-try) harder to get debbindiff saving files in a defined temporary directory
Diffstat (limited to 'jenkins-home')
0 files changed, 0 insertions, 0 deletions