tree 9bae87840cdf77d7ac345f3ccb9fe315e6815ddd
parent cd815fc55bf998578461a95daf8d8fe4a6522961
author Dirk Dougherty <ddougherty@google.com> 1318996395 -0700
committer Dirk Dougherty <ddougherty@google.com> 1319069117 -0700

Doc change: add video to platform highlights and fix a few things.

Change-Id: I788ecbfaba0ce4be9b718e2223dafebc451425bf