diff options
| author | Joe Onorato <joeo@google.com> | 2011-05-04 15:28:00 -0700 |
|---|---|---|
| committer | Joe Onorato <joeo@google.com> | 2011-05-04 15:28:00 -0700 |
| commit | 7ba631f8b7ba823e943bdda623f7262b342e2c60 (patch) | |
| tree | 42e2f70faaeadf029873cf7a8a4319f0de5738a2 /docs/html/sdk/api_diff/13/changes | |
| parent | 523ca2ba6de61306b3d3e62000e0e8c9f7edec3a (diff) | |
If there is no hdmi available, still record that hdmi is not plugged in.
Bug: 4321927
Change-Id: I583b75477914f6ec0d6cb8c3d6775063202e1dbe
Diffstat (limited to 'docs/html/sdk/api_diff/13/changes')
0 files changed, 0 insertions, 0 deletions