Re: /pear
| From: | Jim Winstead | Date: | Sun, 08 Jul 2001 19:04:57 +0000 |
| Subject: | Re: /pear | ||
| References: | 1 | Groups: | php.mirrors |
| Request: | Send a blank email to php-mirrors+get-5374@lists.php.net to get a copy of this message | ||
On Sun, Jul 08, 2001 at 03:51:08PM +0200, Hojtsy Gabor wrote:
> Do we really need that /pear dir in CVS, while
> we have a http://pear.php.net/ separate web server
> for PEAR stuff??
well, we need the package dtd there, so we need the directory.
> This dir should contain a
>
> <?php header("Location: http://pear.php.net) ?>
>
> file, or should go away.
sure. done.
jim