[MPlayer-dev-eng] [PATCH] Case INsensitive for file extensions

[Alexander Neundorf]

On Thursday 15 August 2002 10:10, you wrote:
> No because this would give problems when A.MPG and a.mpg are in the same
> directory / filelist....

Well, converting to lowercase only for checking the extension, of course.
But as I said, I don't know the code, so maybe this is not easy to implement.

Bye
Alex