diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-16 22:55:44 +0100 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-16 22:55:44 +0100 |
commit | 1ddba25150bf1688eccfc11c6ca28b33bdde9927 (patch) | |
tree | 3cb694fdab60b2b0e3d98bd1aae17e13cde5bc29 /etc/schroot/default/fstab | |
parent | 745e243fc691e729f44906e4842c3a406cc635a4 (diff) | |
download | jenkins.debian.net-1ddba25150bf1688eccfc11c6ca28b33bdde9927.tar.xz |
reproducible: use the html_indexes.py script to build the scheduled index pages in the scheduler jobs
Diffstat (limited to 'etc/schroot/default/fstab')
0 files changed, 0 insertions, 0 deletions