diff options
| author | Lucas Dupin <dupin@google.com> | 2020-08-10 09:19:22 -0700 |
|---|---|---|
| committer | Lucas Dupin <dupin@google.com> | 2020-08-10 16:24:01 +0000 |
| commit | 0a1d4ed6c68d917cdcbd31eaf04f8bc51d4b9a38 (patch) | |
| tree | ebaaebe3ea85b0be47547839cb4cc1b8d6606647 /rs/java/android/renderscript/Program.java | |
| parent | 143f714e0f85c0091f3f30e8b259724dd80fbd27 (diff) | |
Use header font on emergency button
Test: visual
Fixes: 162511071
Change-Id: I9085feea4b07cd71169696ed4f80364d1dbf22a8
Diffstat (limited to 'rs/java/android/renderscript/Program.java')
0 files changed, 0 insertions, 0 deletions