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