Merge pull request #1838 from chandnich/rename
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Wed, 27 Feb 2019 11:15:12 +0000 (11:15 +0000)
committerGitHub <noreply@github.com>
Wed, 27 Feb 2019 11:15:12 +0000 (11:15 +0000)
commited43437d4d114f68da665d5f41a67ba2641306e3
treeebc23654b1189f656ab3147e5735b7fde072160a
parent39718ea562e38d769f197553365876f8e269412a
parent240f03b783bb1e531c55badf601c52c5f927f2d2
Merge pull request #1838 from chandnich/rename

Apply official names to SGI-Clark Platforms