diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-01-06 16:13:45 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-06 16:13:45 +0100 |
| commit | 3f497a20cc0b69fec4afec08187ad059348caf1a (patch) | |
| tree | e1f379a0e99b5f9880edd1bbc1e99ffb3fef28f8 /bin/reproducible_maintainance.sh | |
| parent | 8d43e5ef5ea182285e06bcbba81cf0dd19f76dc7 (diff) | |
| download | jenkins.debian.net-3f497a20cc0b69fec4afec08187ad059348caf1a.tar.xz | |
reproducible: leave a note in the empty logfile if debbindiff is killed due to timeout
Diffstat (limited to 'bin/reproducible_maintainance.sh')
0 files changed, 0 insertions, 0 deletions