diff options
author | Chris Lamb <lamby@debian.org> | 2016-10-28 12:25:52 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-10-28 13:48:33 +0200 |
commit | 896d7ebf4a532e38911889a238d4fa9c9ccbbc28 (patch) | |
tree | bb21e99ee2f5de2b93fdd0fef11be51630b8d30c /live/config/chroot_local-includes/usr | |
parent | 4081f6eb3ca3dc3fb73a3ddc126a9d9c5d22eae6 (diff) | |
download | jenkins.debian.net-896d7ebf4a532e38911889a238d4fa9c9ccbbc28.tar.xz |
reproducible Debian: Use our log_info method instead of manual echo calls.
Signed-off-by: Chris Lamb <lamby@debian.org>
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions