diff options
| author | Tom Cherry <tomcherry@google.com> | 2020-08-10 22:04:31 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-08-10 22:04:31 +0000 |
| commit | 0b1ebf04752f081b74d7d5b677e373d92e613835 (patch) | |
| tree | 7d7ba75271417b8c5a1a9512a0d36c60d786758d /trusty/coverage/coverage.cpp | |
| parent | 354d814409ae072f43de6d7d424a637489fc8180 (diff) | |
| parent | c4863717418e01aac59428011afdf36d6046badb (diff) | |
Merge "logd: document the decision to use compression instead of chatty" am: c486371741
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1394969
Change-Id: I5d9df6eae40cb7c53ba2738fdfd96494eb6625b2
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions