Re: rtfm
| From: | Andi Gutmans | Date: | Sat, 07 Jul 2001 09:05:28 +0000 |
| Subject: | Re: rtfm | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-59140@lists.php.net to get a copy of this message | ||
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