log debian/menu @ 1595:1918610d2802

age author description
Mon, 21 May 2001 12:43:10 +0000 eyck get docs into /usr/share/doc/mplayer, debian menu for future use and