Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cross-project-issues-dev] tptp_site.zip is 1 GB ?

Hi Denis,

We are finished with the file now so I have removed it from archive.

Thanks,
Joel

cross-project-issues-dev-bounces@xxxxxxxxxxx wrote on 06/22/2010 12:17:34 AM:

> Hi Denis,
>
> Sorry about that. We are working on testing changes for the TPTP
> update site. I moved it to archive for now so it is not mirrored. Is
> it okay if it remains there for a few days?
>
> Thanks,
> Joel
>
> cross-project-issues-dev-bounces@xxxxxxxxxxx wrote on 06/21/2010 11:37:53 PM:
>
> > There's a file on download.eclipse.org called
> > /tptp/updates/tptp_site.zip   It's exactly 1000 megabytes.  Is that
> > normal?  Does it need to be mirrored?
> >
> > Thanks


Back to the top