diff options
| author | Philip Hands <phil@hands.com> | 2016-06-02 13:17:42 +0200 |
|---|---|---|
| committer | Philip Hands <phil@hands.com> | 2016-06-03 00:02:26 +0200 |
| commit | 3d2cbb8c58953a39237f9af2c854e75edd61c32d (patch) | |
| tree | fdb06c4654ec9b1e12c2471d4b6ab0ae3ba4fcaa /bin/reproducible_html_indexes.py | |
| parent | de073f571cebc2e326f65179faa06e9fb9cdd4c9 (diff) | |
| download | jenkins.debian.net-3d2cbb8c58953a39237f9af2c854e75edd61c32d.tar.xz | |
kde: hopefully we don't need to be PATIENT with pb10
Diffstat (limited to 'bin/reproducible_html_indexes.py')
0 files changed, 0 insertions, 0 deletions