diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-10-22 22:23:28 +0200 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-10-22 22:45:10 +0200 |
commit | dda7885005c343601c6630796eb56bdcf91a559f (patch) | |
tree | a52cf02957708d8bf6b3e81f769c6fc8709f17c8 /src/cmake/modules/GUDHI_modules.cmake | |
parent | c66b9126429e1ff18f9ca69b27c5f357f071a697 (diff) |
Document the change
It would be possible to emit the duplicate points instead of stopping,
but the current implementation makes that inconvenient.
Diffstat (limited to 'src/cmake/modules/GUDHI_modules.cmake')
0 files changed, 0 insertions, 0 deletions