log debian/menu @ 17131:80d3fdcf58a8

age author description
Mon, 18 Oct 2004 09:21:23 +0000 diego icon now in /usr/share/pixmaps not /usr/share/icons
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