diff Gui/mplayer/play.h @ 13243:4c68686f715b

sync to latest manpage reviews by Diego other marginal fixes
author kraymer
date Fri, 03 Sep 2004 22:18:46 +0000
parents f0bcaf5ea675
children 0e1471d9da74
line wrap: on
line diff