diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-03-19 01:14:44 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-03-19 01:14:44 +0100 |
| commit | 7f792e9b67d423cb6c6047836e9c24a32115a3eb (patch) | |
| tree | 505e43d1dee20137f281a84bfe8f7141e0ab2bdd /src/rbtree.h | |
| parent | 274fe375264e1767a8dcaea06eaa5d6735e32e37 (diff) | |
avoid delete-non-virtual-dtor warning on g++ 4.7
* the warning itself makes sense but in the cases reportet they
were irrelevant
Diffstat (limited to 'src/rbtree.h')
0 files changed, 0 insertions, 0 deletions