[PHP-DEV] rtfm

[Andi Gutmans]

Hey,

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


-- 
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]