tree f0b6ace1f3d18e6be7d53e8e265ee3063a6e2525
parent f69320a1f02de3106a26a3911c25be63fcfaf738
author Scott Main <smain@google.com> 1352522871 -0800
committer Scott Main <smain@google.com> 1352523052 -0800

docs: update Tools landing page with info for developer options

Change-Id: I1b2ce4e6a27b365a7ec8823fce56c613b1651b1d