diff TOOLS/install-w32codecs.sh @ 20194:10cebc4e94ae

code simplification and minor bug fix for files restarting rather than moving to the next file within the playlist.
author vayne
date Fri, 13 Oct 2006 17:30:41 +0000
parents 1e2056c6bd74
children c53da7ea44a0
line wrap: on
line diff