diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-02 17:33:09 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-02 19:29:32 +0100 |
| commit | a6a4843f039c541330ea86a61515f63cd2a3aef3 (patch) | |
| tree | 7fca4f0bfd4653316431ea8535cceed2b7856244 /userContent/robots.txt | |
| parent | d4667a399108b360a63d9d4953039410dee553a5 (diff) | |
| download | jenkins.debian.net-a6a4843f039c541330ea86a61515f63cd2a3aef3.tar.xz | |
reproducible: html_indexes: build indexes for every suite/arch, and place them in a sensible directory. plus, support a new kind of index global_pages, which are superset of the suite-relative ones
Diffstat (limited to 'userContent/robots.txt')
0 files changed, 0 insertions, 0 deletions