log debian/menu @ 13224:7a7043fd720a

age author description
Fri, 09 Jul 2004 15:35:26 +0000 diego better menu icons by Piero di Vita <scognito@libero.it>
Tue, 29 Jun 2004 12:53:34 +0000 diego freedesktop.org compliant menu support
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