[MPlayer-dev-eng] [PATCH] sync TOOLS/binary_codecs.sh with debian

[Diego Biurrun]

On Tue, Apr 21, 2009 at 11:11:58PM +0200, Reinhard Tartler wrote:
> 
> This patch updates TOOLS/binary_codecs.sh to match the current version
> of the debian packaging.

Excellent!

> If this patch is accepted, I intend to remove the duplication of this
> script from the debian package.

This contains a lot of whitespace changes.  Could you commit those and
then resend the patch without them?

Diego