diff options
| author | Edgar Wang <edgarwang@google.com> | 2021-04-14 16:10:10 +0800 |
|---|---|---|
| committer | Edgar Wang <edgarwang@google.com> | 2021-04-14 16:10:10 +0800 |
| commit | e0c507d5a8a7baa45160471b53dc96a240d24017 (patch) | |
| tree | fe3f242e6e868cf671f2811b16a648f52cbc8fc6 /rs/java/android/renderscript/Program.java | |
| parent | 9bed14ecc8ac297eed31153cc420213179506a3e (diff) | |
Rename SettingsPreferenceTheme to PreferenceTheme.SettingsBase
Bug: 185206291
Test: rebuild
Change-Id: I89862583caec3db43716b55c8bc43c3f6580c919
Diffstat (limited to 'rs/java/android/renderscript/Program.java')
0 files changed, 0 insertions, 0 deletions