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