13 Jan
2013
13 Jan
'13
1:13 p.m.
Thanks guys for the help! filtering to GraphView and then pruning to a new graph when needed was indeed the most efficient way for my needs. Val -- View this message in context: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/... Sent from the Main discussion list for the graph-tool project mailing list archive at Nabble.com.