commit | 36a540d6c8d3e5c0d0265cfae7cc0686e71e8353 | [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 | 69905f74b5cefd89846257e9de0477f96049219f [diff] | |
parent | 89d1d372f63a008b63b996b0a9381b7ea4f4dc9e [diff] |
Merge pull request #1861 from Yann-lms/checkpatch Update checkpatch options