diff TOOLS/binary_codecs.sh @ 36489:fe727e6ea07f

Fix wrong #ifdef. These variables are needed in any case.
author ib
date Thu, 16 Jan 2014 21:41:17 +0000
parents 6d06be50007f
children
line wrap: on
line diff