diff Gui/mplayer/gtk/menu.h @ 8392:8d99e38766d0

codecs page address fixed (the old one is available too)
author alex
date Sat, 07 Dec 2002 14:13:10 +0000
parents 8e9607c5897e
children be3261b2bcf4
line wrap: on
line diff