diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-10 02:34:42 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-01-11 00:39:20 +0000 |
commit | c16305b50186dae520a2cf08912d9446cc917763 (patch) | |
tree | 9dfccae249e0cd949a583a4b042c1997e96f58cb /bin/chroot-installation.sh | |
parent | 93684e978f14ad072c43a9f22c594320d5043417 (diff) | |
download | jenkins.debian.net-c16305b50186dae520a2cf08912d9446cc917763.tar.xz |
reproducible: common.py: make possible to do not write the very last footer in write_html_page()
Diffstat (limited to 'bin/chroot-installation.sh')
0 files changed, 0 insertions, 0 deletions