diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2020-09-25 03:53:02 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2020-09-25 03:53:02 +0000 |
| commit | 0cb41aa6956828ca8b3fee271afcb5ba9638e5fa (patch) | |
| tree | 411b2c568d985b932be390b20cf039a38115741d /trusty/coverage/coverage.cpp | |
| parent | d257109b8b11d97073df1516a3fd6f5e4ba8878e (diff) | |
| parent | e595d3d3e33f6095b1d88cb6abe09ef293dd358e (diff) | |
Merge "Turn off -Wnon-virtual-dtor explicitly"
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions