Rename binary-codecs.sh once more to binary_codecs.sh as it is called in Debian.
authordiego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2>
Thu, 31 Jul 2008 09:49:16 +0000 (09:49 +0000)
committerdiego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2>
Thu, 31 Jul 2008 09:49:16 +0000 (09:49 +0000)
commitbea0448f584397c033f2d2d89b5e1a511f0cf32e
tree835db86c351cc11e79c38b50008b61222514e204
parent302b9fe1f4cf83f7063b791a0238f5c9139dd04e
Rename binary-codecs.sh once more to binary_codecs.sh as it is called in Debian.

git-svn-id: svn://git.mplayerhq.hu/mplayer/trunk@27382 b3059339-0415-0410-9bf9-f77b7e298cf2
TOOLS/README
TOOLS/binary_codecs.sh [moved from TOOLS/binary-codecs.sh with 56% similarity]