diff Gui/mplayer/menu.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 2608bf0037b6
children 0e1471d9da74
line wrap: on
line diff