tree 083d462ecd125460be35031fb5f19055beff653f
parent 4bbd71a6b2f4957f4778da13861ec03d30afbee7
author Dirk Dougherty <ddougherty@google.com> 1319220827 -0700
committer Dirk Dougherty <ddougherty@google.com> 1319220827 -0700

Doc change: fix typo in platform highlights.

Change-Id: I6df4128c79705f97f029ba7ed13c0ae3d5807f18