diff options
| author | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-03-29 15:19:20 +0000 |
|---|---|---|
| committer | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-03-29 15:19:20 +0000 |
| commit | 8447fa7575ae4db0db6daa8e03a0c2f9a374df7c (patch) | |
| tree | ed0c177df78aaf15dfabe562155332d77c489664 /data | |
| parent | 91448f9ae1c13c74441f521a25d29375bc4643ee (diff) | |
Use add_edge_without_blockers in GudhUI.
When the meaning of add_edge changed, GudhUI was not updated. The old functionality is available as add_edge_without_blockers.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@3318 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 58b10f79177736cc99e35fb526e4c987d615ae4c
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions