diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-07-13 20:50:34 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-07-13 20:50:34 +0300 |
| commit | 5525260f78c1fcab1887cdc95ebcc6790fb34b5b (patch) | |
| tree | bd8ee201beef1fc3bbbe48890f9695b6c39c874b /tools/ci/jobs/gcc5_sanitize_tests.sh | |
| parent | 1f72c8a3f380325f5f4a82137f8bac02362916df (diff) | |
| download | plus-5525260f78c1fcab1887cdc95ebcc6790fb34b5b.tar.gz plus-5525260f78c1fcab1887cdc95ebcc6790fb34b5b.tar.bz2 plus-5525260f78c1fcab1887cdc95ebcc6790fb34b5b.tar.xz plus-5525260f78c1fcab1887cdc95ebcc6790fb34b5b.zip | |
Allow use different badges for each group in groups.xml
Diffstat (limited to 'tools/ci/jobs/gcc5_sanitize_tests.sh')
0 files changed, 0 insertions, 0 deletions