diff options
| author | Josh Gao <jmgao@google.com> | 2021-01-25 22:24:04 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2021-01-25 22:24:04 +0000 |
| commit | 3aafc1b642cb7899132b13625d580a18f6c9c175 (patch) | |
| tree | d07ff54fd4c97bd91c4f0a8bb6ab4d84c7bd50b6 /trusty/coverage/coverage.cpp | |
| parent | 42c22410fce6af01b37113f0d87fcaa5c314415b (diff) | |
| parent | e2aa621c83418729f3b6e680895bde74c53d95e8 (diff) | |
tombstoned: make it easier to add more types of outputs. am: e2aa621c83
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1515701
MUST ONLY BE SUBMITTED BY AUTOMERGER
Change-Id: I3733591ac71fefddaaa26d7d1a5987467c459ef2
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions