Update pxt.json

MainInit · Sep 11, 2023 · b711d38 · b711d38
1 parent 9602b99
commit b711d38
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pxt.json b/pxt.json
@@ -20,7 +20,7 @@
     ],
     "public": false,
     "targetVersions": {
-        "target": "5.0.12",
+        "target": "4.0.18",
         "targetId": "microbit"
     },
     "supportedTargets": [