log TOOLS/install-w32codecs.sh @ 17665:9d7611d3227c

age author description
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