Re: [PHP-DEV] rtfm

[Martin Jansen]

On Sat, 07 Jul 2001 11:42:02 +0300, Andi Gutmans wrote:

>Didn't we decide on nuking ext/rtfm?
>Can I go ahead?

Isn't this extension already removed?

- Martin



-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]