view debian/mplayer-doc.docs @ 32588:aa82dfc7bd49

Make use of mp_basename in a few places.
author cboesch
date Sat, 04 Dec 2010 10:24:42 +0000
parents c9f9a077d760
children
line wrap: on
line source

Copyright
DOCS/HTML
DOCS/tech