[plt-dev] PLaneT

Hi Robby,
Some time ago I made a terrible mistake when uploading stuf to planet. I have tried to remove it, but it seems I can't. Can you delete the package C:Documents etc planet-fmt.plt(name joskoot)? It has not yet been downloaded by anyone.
Jos

----- Original Message ----- 
From: "Robby Findler" <robby at eecs.northwestern.edu>
To: "Neil Van Dyke" <neil at neilvandyke.org>
Cc: "PLT Developers" <plt-dev at list.cs.brown.edu>
Sent: Monday, December 21, 2009 1:07 AM
Subject: Re: [plt-dev] PLaneT


I'm the one maintaining most aspects of it, I believe.

Robby

On Sun, Dec 20, 2009 at 5:54 PM, Neil Van Dyke <neil at neilvandyke.org> wrote:
> Who owns research&practice of PLaneT nowadays?
>
> I'd like to suggest a potential little research collaboration.
>
> --
> http://www.neilvandyke.org/
> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-dev
>
_________________________________________________
  For list-related administrative tasks:
  http://list.cs.brown.edu/mailman/listinfo/plt-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20091223/5debeaae/attachment.html>