diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-07-09 10:24:19 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-07-09 12:26:12 +0200 |
| commit | 922c68aeba37f40b9de08ffe30d613d3130b6aee (patch) | |
| tree | 6b9160c23de0e9f39cffc70f3a3beebf55ffd702 /bin/maintenance.sh | |
| parent | 53d085060bb5021e1c30f315bf831ff8c534e793 (diff) | |
| download | jenkins.debian.net-922c68aeba37f40b9de08ffe30d613d3130b6aee.tar.xz | |
reproducible: dd-list: show the symbol caption at the footpage + print the just created url on the job log
Diffstat (limited to 'bin/maintenance.sh')
0 files changed, 0 insertions, 0 deletions