index.c
20.7 KB
-
checkout: remove files before writing new ones · 8d655239
On case insensitive filesystems, we may have files in the working directory that case fold to a name we want to write. Remove those files (by default) so that we will not end up with a filename that has the unexpected case.
Edward Thomson committed