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 /Dockerfile_gudhi_installation | |
| 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 'Dockerfile_gudhi_installation')
0 files changed, 0 insertions, 0 deletions