On 10/24/2007 06:50 AM, Rui Carvalho wrote:
All working now :)
Many thanks, Rui
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.