diff Gui/mplayer/gtk/opts.h @ 7286:98dd8785cf24

man page documentation
author jonas
date Thu, 05 Sep 2002 16:42:38 +0000
parents 8e9607c5897e
children 5b67aed0fc28
line wrap: on
line diff