24 Oct
2013
24 Oct
'13
5:07 p.m.
On 10/24/2013 06:41 PM, Carlos Carroll wrote:
Thanks for fixing the link. I can now download the 12MB file, but still can't load it in graph-tool (after extracting to pgp.xml): Also, it doesn't appear to be in xml, but rather a binary file.
It is a _gzipped_ xml file... Either save it as .xml.gz or unzip it, before trying to load it. Cheers, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>