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