On Fri, 16 May 2008 20:23:46 +0200, Diego Biurrun <diego at biurrun.de> wrote: >On Fri, May 16, 2008 at 01:34:32PM -0500, compn wrote: >> this makes no-correct-pts in line with all other -no options in mplayer. >> extra dash is annoying. > >OK > >Diego applied. -compn