commit | 2cf17ed7d87f8e0fc77de5e22c152018e7553959 | [log] [tgz] |
---|---|---|
author | Amith Yamasani <yamasani@google.com> | Mon Nov 08 09:55:47 2010 -0800 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Mon Nov 08 09:55:47 2010 -0800 |
tree | 38cc77ce6793d22ffa1542ecbb07be8e69e47034 | |
parent | 212233314155221c5307f8056e626ea2cd6cceb1 [diff] | |
parent | 2f63c4ef414b63ee600a6b70fbeca3c76932982b [diff] |
Merge "Change margins and font size for preference_child style. Missed in previous checkin."