log TOOLS/binary-codecs.sh @ 27349:e5a937e0f8d2

age author description
Thu, 31 Jul 2008 09:36:18 +0000 diego Rename install-w32codecs.sh --> binary-codecs.sh. base TOOLS/install-w32codecs.sh@7e20940028ea