diff TOOLS/binary_codecs.sh @ 30520:b7ef5e62a649

Remove useless code, QUERY_FORMAT already ensures the requested format is supported.
author reimar
date Sun, 14 Feb 2010 11:06:04 +0000
parents e227d7137dc0
children 68722c75c922
line wrap: on
line diff