log debian/menu @ 9384:7df3ad87dd00

age author description
Sun, 11 Nov 2001 21:05:53 +0000 eyck BuildDepend on libgtk-dev since we want to build GUI by default ( as suggested
Mon, 21 May 2001 12:43:10 +0000 eyck get docs into /usr/share/doc/mplayer, debian menu for future use and