diff Gui/mplayer/gtk/pl.c @ 3920:eea76f70665d

Sync with r1.20. Just for release
author nick
date Mon, 31 Dec 2001 16:07:04 +0000
parents f77f8379f28f
children 3473ca9ef158
line wrap: on
line diff