diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-01 18:24:27 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-01 18:24:27 +0200 |
| commit | 9d11e700923fa7abf80bc36332606d204deeeed3 (patch) | |
| tree | 35278190223d4c5a925e292c61926b31d82c346f /jenkins-home | |
| parent | c1172fc6599d2367d5037a1c58789d4899270d48 (diff) | |
| download | jenkins.debian.net-9d11e700923fa7abf80bc36332606d204deeeed3.tar.xz | |
reproducible: html_indexes: set suite/arch to the defaults when building a global page
Diffstat (limited to 'jenkins-home')
0 files changed, 0 insertions, 0 deletions