> 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
