Re: [graph-tool] Remove an edge with a property