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