diff options
author | Chris Lamb <lamby@debian.org> | 2016-08-08 15:54:40 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-08-08 17:45:41 +0200 |
commit | 337869f5a0559b260b159fa23dbffd3a3f16cd4d (patch) | |
tree | 02e37fbf9deaa248b7a5eca8b5455c54546fa2dd /live/config/chroot_local-includes | |
parent | 300a19bbec8575956194cf0a06066f63094025bd (diff) | |
download | jenkins.debian.net-337869f5a0559b260b159fa23dbffd3a3f16cd4d.tar.xz |
reproducible debian: Explicitly log that build was successful
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'live/config/chroot_local-includes')
0 files changed, 0 insertions, 0 deletions