comparison Gui/mplayer/gtk/mb.c @ 6101:ff80fbfa06f5

corrections by Diego Biurrun <diego@biurrun.de>
author jaf
date Thu, 16 May 2002 09:00:59 +0000
parents 153fc4ed86ad
children b9651eb9749e
comparison
equal deleted inserted replaced
6100:eb97c0729496 6101:ff80fbfa06f5