Re: [PATCH] TexFiles.sh -> TexFiles.py

[Bo Peng]

I think that both are correct as both are valid paths on Windows.
However, for consistency with previous behavior and with the internal
representation used by LyX, you should replace \ with /.

I thought so. Committed.

Bo