diff Gui/mplayer/gtk/pl.c @ 12863:dd813750f69c

updates and fixes by Sebastian Kr¸«£mer <mail@skraemer.de>
author diego
date Mon, 19 Jul 2004 23:43:55 +0000
parents 22092ed814ad
children be3261b2bcf4
line wrap: on
line diff