diff TOOLS/binary_codecs.sh @ 36816:790318d7ce23

Don't automatically apply the Win32 GUI preferences' defaults. Just present them and let the user decide whether to apply or to cancel.
author ib
date Sun, 23 Feb 2014 19:35:08 +0000
parents 6d06be50007f
children
line wrap: on
line diff