commit | 16fcc5a48410f402675aefe995379dc7b915539a | [log] [tgz] |
---|---|---|
author | Raphael Moll <ralf@android.com> | Mon May 19 22:49:50 2014 +0000 |
committer | Android Git Automerger <android-git-automerger@android.com> | Mon May 19 22:49:50 2014 +0000 |
tree | c26a14a36d3a6f739020b40aa2dff84d108c6f29 | |
parent | dc18de62c768d7a1db46c1b0e30f883cc1797edf [diff] | |
parent | ba24021edcb146bfce83f3385c45bd3b0101960c [diff] |
am ba24021e: Merge "AVD Manager: add tooltips to tabs." into idea133 Auto-merge: 7d4fb7d * commit 'ba24021edcb146bfce83f3385c45bd3b0101960c': AVD Manager: add tooltips to tabs.