diff options
author | Marco Capitani <m.capitani@nextworks.it> | 2017-09-26 16:51:06 +0200 |
---|---|---|
committer | Marco Capitani <m.capitani@nextworks.it> | 2017-09-26 16:51:06 +0200 |
commit | 374202aa8c2dd0e06c49375f1ee7cb439b4f1191 (patch) | |
tree | 886b9be53845a8c840c31b74179adc502e0db45e /tools | |
parent | bf416fb66f0daa93fcbf8111d392cb3d1b119601 (diff) | |
download | rumba-374202aa8c2dd0e06c49375f1ee7cb439b4f1191.tar.gz rumba-374202aa8c2dd0e06c49375f1ee7cb439b4f1191.zip |
CI: reverted to pipeline-passing config
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions