Re: question on policy of renaming an extension
| From: | Edin Kadribasic | Date: | Tue, 22 Jun 2004 11:55:19 +0000 |
| Subject: | Re: question on policy of renaming an extension | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-10706@lists.php.net to get a copy of this message | ||
On Tuesday 22 June 2004 13:03, Andi Gutmans wrote:
> Actually I think the best way is to rename the directory in the repository
> as it would save history.
That would break the checkout of the older php versions. The directory needs
to be copied and then cvs delete the files in the old one.
Edin