diff options
| author | Nick Chalko <nchalko@google.com> | 2019-09-30 19:42:45 +0000 |
|---|---|---|
| committer | Android (Google) Code Review <android-gerrit@google.com> | 2019-09-30 19:42:45 +0000 |
| commit | 95239a87c0e74739d4af38c7262e7db55adfc5bc (patch) | |
| tree | 2b0c5b3775ed7348b6c11b412eabfc6c9f6591c7 /startop/scripts/lib/cmd_utils.py | |
| parent | 8a4a7f2c335bc07f8e30d30b1c44a4080ff9bbfb (diff) | |
| parent | 4797b7c107df2215d850487f5d9f239bf69f2044 (diff) | |
Merge "Use HdmiProperties class for ro.hdmi.device_type"
Diffstat (limited to 'startop/scripts/lib/cmd_utils.py')
0 files changed, 0 insertions, 0 deletions