view debian/menu @ 10187:f4e0b637ffc5

/usr/local/lib/codecs is now the default codecs directory.
author diego
date Sun, 25 May 2003 19:31:21 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line source

?package(mplayer):command=/usr/bin/gmplayer section="Apps/Viewers" needs=X11 title=gmplayer