tree 459f3ffac1933c3061c8434c67cc1f79cbf70d8e
parent d51578ee163db8b80180e5eeb184b7dd10ed16d3
author Dirk Dougherty <ddougherty@google.com> 1383211902 -0700
committer Dirk Dougherty <ddougherty@google.com> 1383220422 -0700

Doc change: Updates to platform highlights.

Change-Id: I7c4a5f8104dd1887fcac32a525301572243cdb81