[Python-Dev] is this obsolete?

Andrew Kuchling akuchlin@mems-exchange.org
Tue, 25 Jul 2000 19:58:28 -0400


On Tue, Jul 25, 2000 at 07:23:12PM -0500, Guido van Rossum wrote:
>Oh, never mind.  I'd say keep it around -- it's a cool thing for which
>eventually someone will find a use!  (But it should really be up to
>Andrew -- if he prefers to have it on his webpage instead, we should
>honor that.)

It seems too esoteric to take up space in the Tools/ directory, so I'd
suggest taking it out.  I'll look at Bill's changes and grab
interesting bits for my copy, though.

--amk