view debian/TODO.Debian @ 30531:704903d34069

Rename gui/mplayer/gtk/menu.[ch] --> gui/mplayer/gtk/gtkmenu.[ch]. This avoids confusion with headers of the same name in other places.
author diego
date Sun, 14 Feb 2010 12:55:02 +0000
parents 14f41e4c530e
children
line wrap: on
line source

- Figure out why /etc/mplayer/mplayer.config.1 gets created and fix this.