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

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to