commit | a35ba9f3bbabbddb7e3f61018206820e1454f1d4 | [log] [tgz] |
---|---|---|
author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | Wed Feb 27 11:15:12 2019 +0000 |
committer | GitHub <noreply@github.com> | Wed Feb 27 11:15:12 2019 +0000 |
tree | ebc23654b1189f656ab3147e5735b7fde072160a | |
parent | 13857121231a1658378b7090fd2ea4d55d07f9ab [diff] | |
parent | 533b5546af5ef87e0511a00a6c6ed991f5ca91de [diff] |
Merge pull request #1838 from chandnich/rename Apply official names to SGI-Clark Platforms