diff options
| author | Felipe Leme <felipeal@google.com> | 2019-12-10 08:38:48 -0800 |
|---|---|---|
| committer | Felipe Leme <felipeal@google.com> | 2019-12-17 15:28:02 -0800 |
| commit | 504df9427ef8c1f74e3037fc403f9c523d3c8c17 (patch) | |
| tree | 393b769048b82aecf1eae29e49e6446dde165fea /rs/java/android/renderscript/ProgramRaster.java | |
| parent | 04eaf14fc9a00752ef98e87373b23b202e937dca (diff) | |
Removed the DEFAULT_USER_ID_TO_BOOT_INTO settings property - it's not used.
Bug: 145985988
Test: echo 'in TH we trust!'
Change-Id: I816e35e080d40b1d867293fa1967bc622caf9398
Diffstat (limited to 'rs/java/android/renderscript/ProgramRaster.java')
0 files changed, 0 insertions, 0 deletions