diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-06-11 19:48:06 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-11 19:48:06 +0200 |
commit | aea705d5df680b774379e9a5adecc14938260008 (patch) | |
tree | f8db9e1faa85b8bc2dc07fd0c93c3be6f7d649e5 /userContent/reproducible | |
parent | 53bf0e766988c9fa6e6f2d2db15bd2927667fab6 (diff) | |
download | jenkins.debian.net-aea705d5df680b774379e9a5adecc14938260008.tar.xz |
reproducible: redo the first build if the 2nd successful one was done after a mirror push
Diffstat (limited to 'userContent/reproducible')
0 files changed, 0 insertions, 0 deletions