* device/lib/printf_large.c (output_digit): optimized further, Thanks Frieder
[fw/sdcc] / device / lib / large /
drwxr-xr-x   ..
-rw-r--r-- 160 Makefile.in