comparison 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
comparison
equal deleted inserted replaced
12862:01e2dd55bf49 12863:dd813750f69c