[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#13661: 24.3.50; shell-command fails with w32-downcase-file-names
From: |
Eli Zaretskii |
Subject: |
bug#13661: 24.3.50; shell-command fails with w32-downcase-file-names |
Date: |
Sun, 10 Feb 2013 07:33:02 +0200 |
> Date: Sun, 10 Feb 2013 00:43:59 +0000
> From: Richard Copley <rcopley@gmail.com>
>
> > Damn that w32-downcase-file-names option! Why are people still using it in
> > the year 2013??
>
> I don't remember why I use it (something to do with RCS I expect)
I'd be curious to know how RCS is related to this. I use it myself.
> but I'll stop, and report any issues if they surface.
Thank you.