diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2020-08-01 02:34:41 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-08-01 02:34:41 +0000 |
| commit | 02fb8cd1f66b5915bf4f9d6742b07f08ca18c633 (patch) | |
| tree | 609dc1fd4e486c2ecc4465f059c80215ca79ddf4 /trusty/coverage/coverage.cpp | |
| parent | 81ca50b64dbc00678ab1ec3ef7e64955e13091cd (diff) | |
| parent | 220e60b1be89814298ad9276e242a6a4815434c5 (diff) | |
Merge "Make the udev vs plugdev distinction a bit clearer." am: 9597f27e1b am: 220e60b1be
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1383959
Change-Id: Ia1987c9c6e100516ea14712dbdd2cf458e03ed93
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions