log gui/mplayer/gtk/gtk_menu.c @ 30531:704903d34069

age author description
Sun, 14 Feb 2010 12:55:02 +0000 diego Rename gui/mplayer/gtk/menu.[ch] --> gui/mplayer/gtk/gtkmenu.[ch].