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 <[EMAIL PROTECTED]> 09 F9 11 02 9D 74 E3 5B D8 41 56 C5 63 56 88 C0
signature.asc
Description: OpenPGP digital signature
_______________________________________________ graph-tool mailing list graph-tool@forked.de http://lists.forked.de/mailman/listinfo/graph-tool
