diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2020-09-25 07:00:09 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-09-25 07:00:09 +0000 |
| commit | a51acd3e124a34700047f63c858b1b0dcd29cede (patch) | |
| tree | 8ec7f41992d9343f8e67d7d80eb220cf0164a492 /trusty/coverage/coverage_test.cpp | |
| parent | 2a2f820bc138c4a39873c7696a4c0770ef4aa625 (diff) | |
| parent | 38193ea5b9e01b3135b7d4cb079cc9f949874208 (diff) | |
Merge "Turn off -Wnon-virtual-dtor explicitly" am: fbb0314c33 am: f80e02cffb am: adb2f5e6e2 am: 38193ea5b9
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1429930
Change-Id: I93d6c6ce5db183e9de3de17f272ef053da3664e7
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions