diff options
| author | Amith Yamasani <yamasani@google.com> | 2010-11-08 09:55:47 -0800 |
|---|---|---|
| committer | Android (Google) Code Review <android-gerrit@google.com> | 2010-11-08 09:55:47 -0800 |
| commit | 2cf17ed7d87f8e0fc77de5e22c152018e7553959 (patch) | |
| tree | 38cc77ce6793d22ffa1542ecbb07be8e69e47034 /graphics/java/android/renderscript/RenderScript.java | |
| parent | 212233314155221c5307f8056e626ea2cd6cceb1 (diff) | |
| parent | 2f63c4ef414b63ee600a6b70fbeca3c76932982b (diff) | |
Merge "Change margins and font size for preference_child style. Missed in previous checkin."
Diffstat (limited to 'graphics/java/android/renderscript/RenderScript.java')
0 files changed, 0 insertions, 0 deletions