diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-13 01:59:50 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-16 16:38:49 +0200 |
| commit | 3876b4b00969a0a5b62aaecb033ba40d8ec968ea (patch) | |
| tree | 97a8628563ca2b18fe67b6c8310da5d4404ec0a6 /etc | |
| parent | 50fc876d44f497d842cab8e01c25673f1bbc17dc (diff) | |
| download | jenkins.debian.net-3876b4b00969a0a5b62aaecb033ba40d8ec968ea.tar.xz | |
reproducible: html_indexes: new syntax and new features for global pages.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions