diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-13 01:55:53 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-16 16:38:49 +0200 |
commit | 50fc876d44f497d842cab8e01c25673f1bbc17dc (patch) | |
tree | a252287d5a55f6d23182cefe723cc035b2b5f769 /d-i-preseed-cfgs/debian_wheezy_gnome_preseed.cfg | |
parent | 2875d50816ae4b5c71619dd0bb5dafa69f854de6 (diff) | |
download | jenkins.debian.net-50fc876d44f497d842cab8e01c25673f1bbc17dc.tar.xz |
reproducible: html_indexes: add support for a tiny header on top of the pages
Diffstat (limited to 'd-i-preseed-cfgs/debian_wheezy_gnome_preseed.cfg')
0 files changed, 0 insertions, 0 deletions