diff options
author | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2015-09-28 17:00:07 +0000 |
---|---|---|
committer | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2015-09-28 17:00:07 +0000 |
commit | 5dcc9dd4b14705b655c0129cf390c35a51b57dfe (patch) | |
tree | 7717f3a8f77763171c5c0975f869bac4f174da66 /data/points/generator | |
parent | 4d234d3f77df6b91dccfbd2944aaf3ed1695a528 (diff) |
Minor optimization: no need to return memory to the dying pool.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/pool@803 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 5ea7edddd00890a060d4a77302d239e9e8ef0c85
Diffstat (limited to 'data/points/generator')
0 files changed, 0 insertions, 0 deletions