commit | a45ccf135e48efc70006055c32e8a89fddb38db2 | [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 | 49dd04815f7e5b1687f4a87340829e55433e210f [diff] | |
parent | 5e447816c78f4b4b5ef0b42683b820c2e88f810f [diff] |
Merge pull request #1804 from antonio-nino-diaz-arm/an/cleanup Minor cleanup