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