diff options
| author | Amith Yamasani <yamasani@google.com> | 2010-11-08 09:41:02 -0800 |
|---|---|---|
| committer | Amith Yamasani <yamasani@google.com> | 2010-11-08 09:41:02 -0800 |
| commit | 2f63c4ef414b63ee600a6b70fbeca3c76932982b (patch) | |
| tree | c16e7c6945b3af561d01d26c09608333c71f828e /graphics/java/android/renderscript/RenderScript.java | |
| parent | 8da35290693d404b482104abc5f696f6cfd58a2c (diff) | |
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