diff options
| author |   Morgan Richomme <morgan.richomme@orange.com> | 2016-05-27 07:41:56 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-05-27 07:41:56 +0000 |
| commit | 37539fcf867c3ca06b220e3a4b766950ca710a74 (patch) | |
| tree | eec60e1d9eaa463e490ae3ac446ca0581ebb9dad /ci/check_os.sh | |
| parent | 1b180fae8f1c15467facf3eebb3e9e68e43f3f06 (diff) | |
| parent | 785ab148a518e535ce9e646a3f4e9f08d2f6a191 (diff) | |
Merge "Use flavor name instead of flavor id"
Diffstat (limited to 'ci/check_os.sh')
0 files changed, 0 insertions, 0 deletions