diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-06 01:00:33 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-06 01:00:33 +0200 |
commit | 5bb4e7a4c09052c153da40ed20506f2ef5f2a2f5 (patch) | |
tree | 4187e259ff827369a028d36df108c5d30bfccc50 /debian/source | |
parent | 7b3dea89e8d2fb6ae2f61f1a0e7ea42484c01b7e (diff) | |
download | jenkins.debian.net-5bb4e7a4c09052c153da40ed20506f2ef5f2a2f5.tar.xz |
reproducible: use timeout to kill debbindiff after 15m
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions