diff options
author | Craig Tiller <ctiller@google.com> | 2016-02-19 15:50:28 -0800 |
---|---|---|
committer | Craig Tiller <ctiller@google.com> | 2016-02-19 15:50:28 -0800 |
commit | 17ddc83b33da0befa0d9f7395b04ea3ecaff6854 (patch) | |
tree | f7d10037b63b4d8ac23a298cae5fcb1e85573655 /tools | |
parent | 8e92ce40625b221a63574922d9ff7298a4bf486e (diff) | |
parent | bcd78fe845853780ac3d32a5f175f4bfd451837e (diff) |
Merge pull request #5330 from dgquintas/call_virtual_dtor
Added missing virtual dtor
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions