7 Nov
2013
7 Nov
'13
6:11 p.m.
Hi, Thanks a lot! The issue is resolved in the git version. Sorry for not replying with the make logs--I didn't see your post. Best wishes, --James -- 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.