[darcs-users] renaming with case difference only
David Roundy
daveroundy at gmail.com
Sat Dec 22 14:08:29 UTC 2007
On Dec 21, 2007 11:36 PM, Alexy Khrabrov <deliverable at gmail.com> wrote:
> So in order to be able to move the repo to a case-insensitive file
> system, I'm trying to rename a file differing only in case while still
> on a case-sensitive volume. The file surely exists:
Have you tried running darcs check?
And what happens when you run darcs show contents ngrams.py?
David
More information about the darcs-users
mailing list