* device/lib/printf_large.c (output_digit): optimized further, Thanks Frieder
[fw/sdcc] / .version
1 2.5.6