diff Gui/mplayer/widgets.h @ 7286:98dd8785cf24

man page documentation
author jonas
date Thu, 05 Sep 2002 16:42:38 +0000
parents c2d4100c964e
children e5dda05f9aab
line wrap: on
line diff