diff options
author | 2018-03-09 18:33:09 +0000 | |
---|---|---|
committer | 2018-03-09 18:33:09 +0000 | |
commit | 3155d32d900829ab39a9d8fea4e41e9b32e2a097 (patch) | |
tree | c597ac8b76fd49722df40a165f6cf62006f71f0a /jjb/include-docker-push.sh | |
parent | 3e985c7286b2919947197883f19b36116c5f7fcf (diff) | |
parent | 1ef95ab585509ed43e6ea737c4e1091aafa3650f (diff) |
Merge "Remove older merge/release jobs"
Diffstat (limited to 'jjb/include-docker-push.sh')
0 files changed, 0 insertions, 0 deletions