diff options
| author |   Tim Rozet <trozet@redhat.com> | 2016-05-24 15:41:51 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-05-24 15:41:51 +0000 |
| commit | 5fec80057dbd799d52a4c1ff2f35a1c8cc5ad6ea (patch) | |
| tree | fb621e88b7ad9bdd8d6b1edbecdcde1ff85ea5a0 /ci/util.sh | |
| parent | cefd51c360e3d3c4bc160844a467255d84c9f16c (diff) | |
| parent | fb0f275cd373aec28a8a970ced0f1d20ca8abbfc (diff) | |
Merge "Add pinning support"
Diffstat (limited to 'ci/util.sh')
0 files changed, 0 insertions, 0 deletions