From da03fa17af14e02d477aec0beae16caedae2be79 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 1 Sep 2025 06:05:17 +0000 Subject: [PATCH] build(deps): bump assets/syntaxes/02_Extra/Idris2 Bumps [assets/syntaxes/02_Extra/Idris2](https://github.com/buzden/sublime-syntax-idris2) from `7c1bf44` to `49b4b64`. - [Commits](https://github.com/buzden/sublime-syntax-idris2/compare/7c1bf44c4f9092b7b1e274b1332cf32a089b2b99...49b4b64185183f71f1b17f252c4d0c90f576c24d) --- updated-dependencies: - dependency-name: assets/syntaxes/02_Extra/Idris2 dependency-version: 49b4b64185183f71f1b17f252c4d0c90f576c24d dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- assets/syntaxes/02_Extra/Idris2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assets/syntaxes/02_Extra/Idris2 b/assets/syntaxes/02_Extra/Idris2 index 7c1bf44c..49b4b641 160000 --- a/assets/syntaxes/02_Extra/Idris2 +++ b/assets/syntaxes/02_Extra/Idris2 @@ -1 +1 @@ -Subproject commit 7c1bf44c4f9092b7b1e274b1332cf32a089b2b99 +Subproject commit 49b4b64185183f71f1b17f252c4d0c90f576c24d