diff options
| author | Tom Cherry <tomcherry@google.com> | 2020-07-29 14:55:24 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-07-29 14:55:24 +0000 |
| commit | bc72a26e5ad5cfb3ab4db551822b1a7aeef61027 (patch) | |
| tree | 60399f86f58c7fcc607fc831c0f2f49e72d0b8e2 /trusty/coverage/coverage.cpp | |
| parent | c2f47347bc452a6bcf77f559627cb4d75e3ccdb8 (diff) | |
| parent | 898db00675a78e0ff73e8555ae76935750b41912 (diff) | |
Merge "logd: remove users of __android_logger_property_get_bool()" am: 898db00675
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1374736
Change-Id: I3d053ebc09468b64aea820b2dc8517d9e0280b61
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions