d86c5ba Switch to F32 runtime and sources

Authored and Committed by kalev 4 years ago
1 file changed. 15 lines added. 12 lines removed.
    Switch to F32 runtime and sources
    
        
file modified
+15 -12