| commit | b5695d99970aa452d092f4626fb0969eae7d1713 | [log] [tgz] |
|---|---|---|
| author | Janos Follath <janos.follath@arm.com> | Wed Mar 18 17:04:24 2020 +0000 |
| committer | GitHub <noreply@github.com> | Wed Mar 18 17:04:24 2020 +0000 |
| tree | 1bc8b33e322a586383e8a3f31d32531351916565 | |
| parent | acfa36890c80971f915e46e90c2176185161d5ef [diff] | |
| parent | 47f728718f2a0bf3df7ae748e689edd5dd8045ba [diff] |
Merge pull request #3101 from sbutcher-arm/change-used-pylint-2.16 Backport 2.16: Change the use of pylint to optionally use pylint3