diff options
| author |   Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2020-03-12 15:43:20 +0100 |
|---|---|---|
| committer | Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2020-03-12 15:43:20 +0100 |
| commit | f6eef0bc83741e84a23cf2290875c721107cffa9 (patch) | |
| tree | 890a9debd18f8f50cd2345f7fb1b4470e06ca76d /.editorconfig | |
| parent | 462d65cdc53c2c31557266d98ee26ba0490ee8b2 (diff) | |
Switch linter jobs to ubuntu 18.04 minion by default
Change-Id: Iff7d58d164462770039f47411891b861fcf8029f
Issue-ID: INT-1478
Signed-off-by: Bartek Grzybowski <b.grzybowski@partner.samsung.com>
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions