log debian/menu @ 1202:66e5cd717d8f

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