diff Gui/mplayer/play.c @ 12548:8584fdad0188

old changes in my local tree i forgot to commit - minor fixes
author rfelker
date Thu, 10 Jun 2004 05:06:34 +0000
parents df423e2d71dc
children 7989bfeaca47
line wrap: on
line diff