"Doug Kwan (關振德)" <dougkwan@google.com> writes: > The name of the file is not important. I can remove the file and add > it with another name and with the correct permission. Of course, I > will need to rename all uses of the file but that's fine. Will that > work with git? In the meantime I fixed the file on the CVS server. Ian