Skip to content
GitLab
Explore
Sign in
Register
Tiago Peixoto
graph-tool
Repository
graph-tool
src
graph_tool
core.py
Find file
Blame
History
Permalink
Properly remove in- and out-edges when vertex is removed
· a962d139
Tiago Peixoto
authored
Feb 22, 2009
The edge index housekeeping was not performed on edges which were deleted due to vertex removal.
a962d139