3 Oct
2012
3 Oct
'12
3:08 p.m.
On 10/03/2012 04:42 PM, Guillaume wrote:
Graph_tool version : 2.2.17 (commit d058ad14, Tue Jun 19 22:27:35 2012 +0200)
It seems you are not using the most current git version... Please try with it, since I fixed the problem you reported previously. Cheers, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>