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