Re: [PHP-DEV] rtfm

2001-07-07 Thread Andi Gutmans 

Yep looks like it. I think I just had a stale directory.

Andi

At 11:00 AM 7/7/2001 +0200, Martin Jansen wrote:
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]

Re: [PHP-DEV] rtfm

2001-07-07 Thread 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]

[PHP-DEV] rtfm

2001-07-07 Thread 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]