On Thu, May 10, 2001 at 10:33:52PM -0700, Jason R Thorpe wrote:
> Anyone mind if I delete that?

yes. amigappc currently needs it (yes, the replacement should me made 
eventually).

Please keep it around for m68k and ppc - but I guess you can delete
it for mips.

Regards,
	-is