diff options
author | Morgan Richomme <morgan.richomme@orange.com> | 2016-09-13 11:44:15 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-09-13 11:44:16 +0000 |
commit | f6db3f3f9c780c434851effcfda040f962026b99 (patch) | |
tree | 3f2f819eb0f868b5e3f57441e733b6bb94395a3b /ci/check_os.sh | |
parent | 642661f2de6afa12268e2d2cb854652f3db10ab8 (diff) | |
parent | 124da44817bb32242892adcced622eebde01e793 (diff) |
Merge "Add CI link for ARM"
Diffstat (limited to 'ci/check_os.sh')
0 files changed, 0 insertions, 0 deletions