log TOOLS/install-w32codecs.sh @ 27167:d9b61fc3c5b7

age author description
2006-11-10 diego typo, wrong variable name
2006-10-27 diego Sync with Debian package.
2005-06-09 diego typo fixes
2005-05-29 diego Add a variable for the codec directory and set it to /usr/lib/codecs instead
2005-05-29 alex old scripts from early debian package