Added printf_fast_f. Same as printf_fast, but with floating point enabled
[fw/sdcc] / device /
drwxr-xr-x   ..
-rw-r--r-- 125 README
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - lib