diff options
author | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2015-04-25 09:37:40 +0000 |
---|---|---|
committer | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2015-04-25 09:37:40 +0000 |
commit | 0cfb83782c7acaba8979dbf2e2112b669703a327 (patch) | |
tree | 4110fa0b73305e6a681b17fb132fc3dd4351a9ca /src/common | |
parent | ef4f1b9b2a6c30777696763198cd4b5494c8ab4d (diff) |
Don't skip destructors even if the type is currently POD.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@574 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: ba20755d2b52257f02ae4880a619f7bcc2ac1b14
Diffstat (limited to 'src/common')
0 files changed, 0 insertions, 0 deletions