From 41ff9d785e7a718bef4130082d292c9dacbc9507 Mon Sep 17 00:00:00 2001
From: Jason2866 <24528715+Jason2866@users.noreply.github.com>
Date: Mon, 28 Jul 2025 15:48:18 +0200
Subject: [PATCH] Ninja 1.13.1

---
 platform.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform.json b/platform.json
index 3df4371..a35fae0 100644
--- a/platform.json
+++ b/platform.json
@@ -188,8 +188,8 @@
       "type": "tool",
       "optional": true,
       "owner": "pioarduino",
-      "package-version": "1.13.0",
-      "version": "https://github.com/pioarduino/registry/releases/download/0.0.1/ninja-1.13.0.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",