diff Gui/mplayer/play.c @ 2536:6426007cad63

Fixed broken BIOS workaround
author nick
date Mon, 29 Oct 2001 18:24:29 +0000
parents 3248aabc6d1d
children fd44ecf77f8d
line wrap: on
line diff