[MPlayer-dev-eng] MPlayer name change

[D Richard Felker III]

On Tue, Jan 20, 2004 at 08:47:26PM -0300, Diego Biurrun wrote:
> Hi!
> 
> I think it is time for a name change.  No, not what you think, MPlayer

Haha, what a great flaimbait subject line... :))

For what it counts, I'm happy with removing "Linux" from the name.

Rich