diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-01 13:24:20 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-07-05 14:01:20 +0200 |
| commit | 29d32cd8a042582ee9389b6607bb0e99d61453ea (patch) | |
| tree | 09c673c8b8494fb6f074a5666002707348052d84 /jenkins-home/procmailrc | |
| parent | 499cb57e1ac119e4ceec2fcae79474e377f88ce2 (diff) | |
| download | jenkins.debian.net-29d32cd8a042582ee9389b6607bb0e99d61453ea.tar.xz | |
reproducible: build: save the two gzipped build logs separately, gzip the rbuild and also present a diff of the twos
Diffstat (limited to 'jenkins-home/procmailrc')
0 files changed, 0 insertions, 0 deletions