diff options
| author | David Anderson <dvander@google.com> | 2019-02-21 14:40:48 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2019-02-21 14:40:48 +0000 |
| commit | 1cdd96cb1030dbab31b37911f808968750b92ae4 (patch) | |
| tree | bb5e0de721772bfa28b3f3e0ff4d29516aeea48e /trusty/coverage/coverage.cpp | |
| parent | 69fc7b628dfb431fcd179eea235976284ad925ac (diff) | |
| parent | 372278c86de490b7db331f2fb60c0662bd0404ac (diff) | |
Merge "init: Set a property indicating that we're booting into a GSI."
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions