| commit | be483ab3c4771b6df7e5f2ad8eeba56e938c2936 | [log] [tgz] |
|---|---|---|
| author | Janos Follath <janos.follath@arm.com> | Wed Mar 18 17:04:13 2020 +0000 |
| committer | GitHub <noreply@github.com> | Wed Mar 18 17:04:13 2020 +0000 |
| tree | 6f19fc9f6cb9b64757435d1360e16c96f489f405 | |
| parent | 21d1cbccda62a40317553d05fc163dce251f084f [diff] | |
| parent | e30d03e4f43b3c98be0adf88ea4f85e1c07f11d8 [diff] |
Merge pull request #3100 from sbutcher-arm/change-used-pylint Change the use of pylint to optionally use pylint3