diff options
| author | Felipe Leme <felipeal@google.com> | 2019-10-02 16:27:46 -0700 |
|---|---|---|
| committer | Felipe Leme <felipeal@google.com> | 2019-10-18 11:05:09 -0700 |
| commit | 0b3863f4ac2a34e488ad38d078927852728537a9 (patch) | |
| tree | 2f56fe80ba77ffa610e56376abeb30ddb164a3ce /rs/java/android/renderscript/ProgramStore.java | |
| parent | 7ad2f6bdad6f789ed7d1b32ab9e2dcf006026201 (diff) | |
Added new (hidden) UserManager API to get all users, including pre-created ones.
Bug: 140750212
Test: manual verification
Merged-In: Iaef9db6216a7b18bf6f1f3e19f4a7428ec99f1da
Change-Id: Iaef9db6216a7b18bf6f1f3e19f4a7428ec99f1da
(cherry picked from commit 09a7f2df68192b9aa77577de14a6a7018e992caf)
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions