Re: Question on translation
| From: | Gabor Hojtsy | Date: | Wed, 14 Aug 2002 20:21:34 +0000 |
| Subject: | Re: Question on translation | ||
| References: | 1 2 3 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969348094@lists.php.net to get a copy of this message | ||
> 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