[darcs-devel] [patch1141] Accept issue2380: darcs wont rename a file to the name...

Owen Stephens bugs at darcs.net
Tue Apr 22 21:55:37 UTC 2014


Owen Stephens <darcs at owenstephens.co.uk> added the comment:

gh: which version of darcs did you try with?

I'm seeing this output with HEAD:

darcs failed:  A file or dir named foo (or perhaps differing only in case)
already exists in repository.
Use --case-ok to allow files differing only in case.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1141>
__________________________________


More information about the darcs-devel mailing list