| commit | ed43437d4d114f68da665d5f41a67ba2641306e3 | [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 | 39718ea562e38d769f197553365876f8e269412a [diff] | |
| parent | 240f03b783bb1e531c55badf601c52c5f927f2d2 [diff] |
Merge pull request #1838 from chandnich/rename Apply official names to SGI-Clark Platforms