diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-09 14:30:19 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-09 14:30:19 +0200 |
| commit | 1c3cc096c8902088c92eacd1df4df0efa128a167 (patch) | |
| tree | b240bd640ae23cf0a5caa0d6c992d0be87516233 /debian/source | |
| parent | a90b816e6f455b19b9053f787af26dbcaa4779bd (diff) | |
| download | jenkins.debian.net-1c3cc096c8902088c92eacd1df4df0efa128a167.tar.xz | |
reproducible: give process some time to die
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions