diff options
| author | Jin Seok Park <jinpark@google.com> | 2020-09-24 18:29:55 +0900 |
|---|---|---|
| committer | Jin Seok Park <jinpark@google.com> | 2020-09-25 12:57:14 +0900 |
| commit | f987820264d8855027db9f7f107398e79c93abed (patch) | |
| tree | f84649b98aaf7ab14ee0d8e47df4b35944694972 /rs/java/android/renderscript/ProgramStore.java | |
| parent | d5d39ae280156d1ea1c94b78a229d8c966dab7b2 (diff) | |
[Media ML] Replace UserManager#getEnabledProfileIds(int)
Bug: 160963985
Test: Manually checked that all users (both main and managed) are
being returned.
Change-Id: I16379a3ad33c379e36194156bf3ad2d0be41cc22
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions