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,

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
> _______________________________________________
> cross-project-issues-dev mailing list
> cross-project-issues-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev


Back to the top