diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2020-08-01 01:47:56 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2020-08-01 01:47:56 +0000 |
| commit | 9597f27e1ba6f3c44dec28de2c93edbbc1a90f31 (patch) | |
| tree | 3be80cd413e7b86912d436d835ed1ef1fe15213f /trusty/coverage/coverage.cpp | |
| parent | 86313d6fdbc0d498817f960f30ed121531685ba2 (diff) | |
| parent | e7edfbc91614ad246abfe187b6a68db0ffdf9882 (diff) | |
Merge "Make the udev vs plugdev distinction a bit clearer."
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions