commit | 78f7e807dfec36fe695f7b2d7241c1a188893d20 | [log] [tgz] |
---|---|---|
author | Scott Main <smain@google.com> | Fri Nov 09 22:42:13 2012 -0800 |
committer | Android Git Automerger <android-git-automerger@android.com> | Fri Nov 09 22:42:13 2012 -0800 |
tree | 4ee8118d31a29ed9ccdc4106f6609d8ce1c82b09 | |
parent | 5691474c9cbaeb37eeb659a3adbc05d31d668611 [diff] | |
parent | e72e2b74bf5ae66524fc5d1872ba759b85728c65 [diff] |
am e72e2b74: am 85abb087: Merge "docs: update Tools landing page with info for developer options" into jb-mr1-dev * commit 'e72e2b74bf5ae66524fc5d1872ba759b85728c65': docs: update Tools landing page with info for developer options