diff options
author | 2018-05-21 17:13:46 +0000 | |
---|---|---|
committer | 2018-05-21 17:13:46 +0000 | |
commit | d5302d900e5cf905d6488a878c1c4bc1ba1d274d (patch) | |
tree | 3ef9cd84bac186f6aaf9b11cc7b0d988d7437867 /jjb/openci | |
parent | 3284e108e857b3780babad629d23d6ef7009be32 (diff) | |
parent | 88124a2f298177f3626adad0c453a23c3bd8d3ff (diff) |
Merge "Update jjb jobs for Gizmo and Champ"
Diffstat (limited to 'jjb/openci')
0 files changed, 0 insertions, 0 deletions