| commit | f6d7e44335d1050e27abf3982bb572bad4b4ba1c | [log] [tgz] |
|---|---|---|
| author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | Tue Feb 05 11:31:15 2019 +0000 |
| committer | GitHub <noreply@github.com> | Tue Feb 05 11:31:15 2019 +0000 |
| tree | ccb748b78704c79747ca831c1aace15f08369b08 | |
| parent | 0380995c59ac712fd2da3c7cb982c9a8a7a1d8bf [diff] | |
| parent | 50a4d1a618eb3c36bc658570ac85ea15f623c2dc [diff] |
Merge pull request #1804 from antonio-nino-diaz-arm/an/cleanup Minor cleanup