diff TOOLS/mpconsole.sh @ 34341:946ecaf41dc1

Don't allow option gui-include in config files. This option may only be evaluated after MPlayer has called cfg_read() or a segmentation fault occurs. Prevent this by restricting its usage.
author ib
date Sun, 11 Dec 2011 14:54:56 +0000
parents 305dc504c407
children
line wrap: on
line diff