diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-08 16:36:46 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-01-08 16:42:15 +0100 |
commit | d622b8d2ed2b5410eac0fc91f75a204b2082c4aa (patch) | |
tree | 692c19fb4e23d76ad132922877825d6d7e06619a /bin/chroot-run.sh | |
parent | 5d664ec53ae22595302ad0f72c99d081439c0f08 (diff) | |
download | jenkins.debian.net-d622b8d2ed2b5410eac0fc91f75a204b2082c4aa.tar.xz |
reproducible: use the python script instead of the bash one to produce the notes pages
Diffstat (limited to 'bin/chroot-run.sh')
0 files changed, 0 insertions, 0 deletions