ninja 1.13.1

Author: Jason2866

platform.json

@@ -98,7 +98,7 @@
       "type": "tool",
       "optional": false,
       "owner": "pioarduino",
-      "version": "https://github.com/pioarduino/esp_install/releases/download/v5.0.0/esp_install-v5.0.0.zip"
+      "version": "https://github.com/pioarduino/esp_install/releases/download/v5.1.0/esp_install-v5.1.0.zip"
     },
     "tool-dfuutil-arduino": {
       "type": "uploader",
@@ -181,9 +181,9 @@
       "type": "tool",
       "optional": true,
       "owner": "pioarduino",
-      "package-version": "1.10.2",
-      "version": "https://github.com/pioarduino/registry/releases/download/0.0.1/ninja-1.10.2.zip"
-    },
+      "package-version": "1.13.1",
+      "version": "https://github.com/pioarduino/registry/releases/download/0.0.1/ninja-1.13.1.zip"
+    }
     "tool-scons": {
       "type": "tool",
       "optional": true,