Enable floating points

2018-04-21 11:10:43 -07:00
parent f067497497
commit e98af3740c
2 changed files with 1 additions and 0 deletions
--- a/docs/_SUMMARY.md
+++ b/docs/_SUMMARY.md
--- a/pxtarget.json
+++ b/pxtarget.json
@ -31,6 +31,7 @@
        "flashUsableEnd": 245760,
        "flashEnd": 245760,
        "flashCodeAlign": 1024,
+        "floatingPoint": true,
        "upgrades": [
            {
                "type": "package",