Temporary patch for bug 1358192: printf("%f"...) sets fraction to zero.
[fw/sdcc] / debugger /
drwxr-xr-x   ..
-rw-r--r-- 16614 README
drwxr-xr-x - mcs51