diff TOOLS/binary_codecs.sh @ 32432:1522fac67d56

make the packaged binaries identify themselves properly
author siretart
date Tue, 19 Oct 2010 15:48:51 +0000
parents 8f3293925a93
children 6d06be50007f
line wrap: on
line diff