On 2005-11-01, Dimitry Golubovsky <dimitry at golubovsky.org> wrote: > I have a file in my repo (HSX11/Xauthority.hs) and I want to rename it > changing just case of one letter: > > bash$ darcs mv HSX11/Xauthority.hs HSX11/XAuthority.hs It's Darcs. See the --case-ok option. -- John