log TOOLS/install-w32codecs.sh @ 20459:231f139a324d

age author description
Fri, 27 Oct 2006 14:57:10 +0000 diego Sync with Debian package.
Thu, 09 Jun 2005 17:06:16 +0000 diego typo fixes
Sun, 29 May 2005 23:33:13 +0000 diego Add a variable for the codec directory and set it to /usr/lib/codecs instead
Sun, 29 May 2005 13:46:57 +0000 alex old scripts from early debian package