Re: [PHP-DOC] Question on translation From: Gabor Hojtsy (gabor <email protected>)
Date: 08/14/02

> In the shared-memory extension there is a old file called size.xml.
> The new file is named shmop-size.xml. I added the new file to the
> repository. Can I now remove/delete the file size.xml or what to do
> with it?
> What to do generally with files which are renamed.
> Leave? Remove?

If the contents are the same, then the old file should be deleted.

Goba 

-- 
PHP Documentation Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php