On 03/24/2015 11:13 AM, Tiago de Paula Peixoto wrote:
Thanks for this. Did you try the newest version, 2.2.38?
Just built it. Seems fine. _______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
