From 7081b3365e2d53398221aee169bca9beeefa4855 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 1 Oct 2025 02:03:32 +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 `2874f20`. - [Commits](https://github.com/buzden/sublime-syntax-idris2/compare/7c1bf44c4f9092b7b1e274b1332cf32a089b2b99...2874f206f56c588a29fd76b88043129471d1454a) --- updated-dependencies: - dependency-name: assets/syntaxes/02_Extra/Idris2 dependency-version: 2874f206f56c588a29fd76b88043129471d1454a 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..2874f206 160000 --- a/assets/syntaxes/02_Extra/Idris2 +++ b/assets/syntaxes/02_Extra/Idris2 @@ -1 +1 @@ -Subproject commit 7c1bf44c4f9092b7b1e274b1332cf32a089b2b99 +Subproject commit 2874f206f56c588a29fd76b88043129471d1454a