diff Gui/mplayer/play.c @ 12911:5dd9ab119bb3

compilation fixes from Gentoo by Chris White <webmaster@securesystem.info>
author diego
date Thu, 29 Jul 2004 00:57:22 +0000
parents df423e2d71dc
children 7989bfeaca47
line wrap: on
line diff