diff options
| author |   Morgan Richomme <morgan.richomme@orange.com> | 2016-06-15 15:58:01 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-06-15 15:58:01 +0000 |
| commit | a9fa8919d013c3563cd378c74561ec9d532c7ec9 (patch) | |
| tree | 79c10c32daa282b599494e29ecb66c6b3655f76d /ci/check_os.sh | |
| parent | 2a06283642676194b0bb4ed9cc20fe54005765a5 (diff) | |
| parent | fc4e91028d7d90d5ecd1f7a0169dd7d8860ab79b (diff) | |
Merge "Replace deprecated keywords"
Diffstat (limited to 'ci/check_os.sh')
0 files changed, 0 insertions, 0 deletions