[MPlayer-dev-eng] [PATCH] An -include option for the GUI

[Ingo Brückl]

I wrote on Fri, 03 Jun 2011 21:59:29 +0200:

> I must admit though that I'm not sure whether 'ginclude' is a good name.

-gui_include seems better.

Ingo