On 10/24/2007 06:50 AM, Rui Carvalho wrote:

All working now :)

Many thanks, Rui

Great. :-) Note that if you want to update your version with the new stuff that is in the repository, you just have to run, $ git pull inside your graph-tool directory. I guess there were already some modifications made since you last cloned the tree. Cheers, Tiago -- Tiago de Paula Peixoto <tiago@forked.de> 09 F9 11 02 9D 74 E3 5B D8 41 56 C5 63 56 88 C0