diff options
| author | Jorim Jaggi <jjaggi@google.com> | 2014-05-12 20:18:47 +0200 |
|---|---|---|
| committer | Jorim Jaggi <jjaggi@google.com> | 2014-05-12 21:10:54 +0200 |
| commit | db3e6ed4270061538908ecc577df6f6a0d17ada3 (patch) | |
| tree | 0e5cfdaf2d5ac99fb335938c945b875d5e8d1eaa /rs/java/android/renderscript/ProgramStore.java | |
| parent | fc1a824ec1453a84d9c53837df4ab93eca591a5f (diff) | |
Fix clipping and outline for top quick settings header.
Change-Id: I4b4d093d4c6abe120fc166b75e1bd96446027794
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions