On Mon, Feb 17, 2014 at 10:07 AM, Nikodemus Siivola <nikodemus@random-state.net> wrote:
On 17 February 2014 19:34, Christophe Rhodes <csr21@cantab.net> wrote:

> I don't know what is good syntax for pathnames on Windows.  Is #\\ still
> used as the directory separator?  How would a CMD.EXE shell user express

Yes, but #\/ is accepted as well.

It is also accepted by PowerShell.  It makes sense to use it as default for cross-platform codes, even on Windows.

-- Gaby