On 10/24/2013 08:46 PM, Carlos Carroll wrote: > OK, I got it to work. Sorry. > For some reason i had to gunzip it twice, that is: gunzip pgp.xml.gz to > pgp.xml, then rename pgp.xml to pgp.xml.gz and gunzip that.
I don't really understand why it would be "double-zipped"... I tried downloading it myself, and it seems normally "single-zipped". Cheers, Tiago -- Tiago de Paula Peixoto <[email protected]>
signature.asc
Description: OpenPGP digital signature
_______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
