diff options
author | 2017-08-26 13:53:03 +0000 | |
---|---|---|
committer | 2017-08-26 13:53:03 +0000 | |
commit | 151a5d6db45763a4c130a37d69f120704fac8039 (patch) | |
tree | 44c2f52963af3864cadbd81ea88d3cbab417428c /systems/ubuntu | |
parent | 1ec9c3828ef6b1c0426b14138cc9b3a24cf88122 (diff) | |
parent | cbcddf4a51ccb24a49dfb97219b39f4c46cad5ad (diff) |
Merge "ci: verify generated rpms"
Diffstat (limited to 'systems/ubuntu')
0 files changed, 0 insertions, 0 deletions