diff options
| author | Théo Zimmermann | 2019-01-09 16:18:28 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-09 16:18:28 +0100 |
| commit | f28ffe175f8a3f80c6b7e48734b3592a31899ba9 (patch) | |
| tree | 4216c84af887138efcba9d2cdc313ddad788cc75 /dev/ci | |
| parent | de0bf6d77433d3007b3d0be846fd154120a3fb93 (diff) | |
| parent | 6d4b4b8f9d9562be62c29f728256cb8817d0ce2d (diff) | |
Merge PR #9318: Add Azure Pipelines build badge
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions