diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-08-04 14:01:22 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-04 14:01:22 +0200 |
| commit | 005ed7eeea40a04ef7c8fccd2e51c0fe69bbaed8 (patch) | |
| tree | 3765fceebd4a44f0f071011046160cae3ffba846 /bin/reproducible_html_notes.py | |
| parent | d4134b4ffcabcc9e3c16c8656e9838dc3c136403 (diff) | |
| download | jenkins.debian.net-005ed7eeea40a04ef7c8fccd2e51c0fe69bbaed8.tar.xz | |
reproducible: define mirror+proxy depending on the hostname
Diffstat (limited to 'bin/reproducible_html_notes.py')
0 files changed, 0 insertions, 0 deletions