Re: WO profiling w/Eclipse? -> TPTP

From: Lachlan Deck (lachlan.dec..mail.com)
Date: Mon Apr 09 2007 - 20:39:16 EDT

  • Next message: Ulrich Köster: "Re: WOLips WO Frameworks not being recognised"

    On 10/04/2007, at 1:26 AM, John Huss wrote:

    > Nope, vote for it here:
    >
    > https://bugs.eclipse.org/bugs/show_bug.cgi?id=68111

    Yeah, I'd seen that bug :-/ Oh well, I guess I can free up some space
    on my hard-drive for the wasted download...

    Thanks.

    with regards,

    --
    

    Lachlan Deck



    This archive was generated by hypermail 2.0.0 : Mon Apr 09 2007 - 20:40:18 EDT