diff Gui/mplayer/gtk/opts.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 0230544f52a1
children eb0d3c1b6c6d
line wrap: on
line diff