log TOOLS/binary_codecs.sh @ 29182:ecb3c5f2fdd1

age author description
Thu, 23 Apr 2009 08:46:05 +0000 siretart Part 3 of syncing binary_codecs.sh with Debian
Thu, 23 Apr 2009 08:37:20 +0000 siretart Part 2 of syncing binary_codecs.sh with Debian
Wed, 22 Apr 2009 20:46:33 +0000 siretart Part 1 of syncing binary_codecs.sh with Debian
Thu, 31 Jul 2008 22:40:22 +0000 diego Rename binary-codecs.sh to binary_codecs.sh as it is called in Debian. base TOOLS/binary-codecs.sh@b42d9c0360cb
Thu, 31 Jul 2008 09:49:16 +0000 diego Rename binary-codecs.sh once more to binary_codecs.sh as it is called in Debian. base TOOLS/binary-codecs.sh@a4aa5d79be64