Update pxt.json

tinkertanker · Apr 27, 2023 · babda2a · babda2a
1 parent e851507
commit babda2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pxt.json b/pxt.json
@@ -19,7 +19,7 @@
     ],
     "public": true,
     "targetVersions": {
-        "target": "5.0.12",
+        "target": "4.0.18",
         "targetId": "microbit"
     },
     "supportedTargets": [