| commit | 13ea87b12b01e39eee6abd07195d826a4add6ba7 | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Wed Mar 13 13:58:10 2019 +0000 |
| committer | GitHub <noreply@github.com> | Wed Mar 13 13:58:10 2019 +0000 |
| tree | 94db893175d5ec0b2caf671534067f041d7468f3 | |
| parent | 2e05ea14a3b6fe0dc0443cd8b74cd03709f557e6 [diff] | |
| parent | 6ba648db607ada82cbe9c5c28daa0f1c3a49af1c [diff] |
Merge pull request #1861 from Yann-lms/checkpatch Update checkpatch options