Re: [patch] was: Re: Question about allowed filenames on Unix systems

[Jürgen Spitzmüller]

Uwe Stöhr wrote:
> The attached patch does this and also distinguishes between LaTeX and DVI.
> This is in my opinion  important.

This is fine with me.

Jürgen