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 /userContent/theme | |
| 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 'userContent/theme')
0 files changed, 0 insertions, 0 deletions