commit | dfed49a2852e9336e212f6934dcddec7dd743c26 | [log] [tgz] |
---|---|---|
author | Adam Cohen <adamcohen@google.com> | Wed May 02 10:38:01 2012 -0700 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Wed May 02 10:38:01 2012 -0700 |
tree | 97801eff7d172b8fc1a23d1f0330d3671cfb5574 | |
parent | e318c9a5f1819e953a2c78b32bced3c7fc427dbf [diff] | |
parent | d2097ebacf3a3658624cad10669a4d98e8d7d846 [diff] |
Merge "Changing app widget "extras" to "options" and another small API Review issue" into jb-dev