log TOOLS/binary-codecs.sh @ 27351:4f0fa46528ff

age author description
Thu, 31 Jul 2008 22:38:34 +0000 diego Revert previous broken rename of binary-codecs.sh that had random changes.
Thu, 31 Jul 2008 09:36:18 +0000 diego Rename install-w32codecs.sh --> binary-codecs.sh. base TOOLS/install-w32codecs.sh@7e20940028ea