commit | 8b37120065e5800c49754a5c9ba97bc98728c964 | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Mon Apr 16 15:04:28 2018 +0100 |
committer | GitHub <noreply@github.com> | Mon Apr 16 15:04:28 2018 +0100 |
tree | 5600523a42e194280583c16cda686a4ee7658d80 | |
parent | 9d82dd9b68114f0ac4d56b23e83e61414f2dc72f [diff] | |
parent | 3b94189a921c0ea2a410c7730dc9636d95f5aa86 [diff] |
Merge pull request #1356 from robertovargas-arm/misra-changes Misra changes