From 87fb5144e79ab227febd778e2fcde6c7554033db Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 14 Feb 2026 05:12:22 +0000 Subject: [PATCH] Bump org.jetbrains.grammarkit from 2023.3.0.1 to 2023.3.0.2 Bumps org.jetbrains.grammarkit from 2023.3.0.1 to 2023.3.0.2. --- updated-dependencies: - dependency-name: org.jetbrains.grammarkit dependency-version: 2023.3.0.2 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- build.gradle.kts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle.kts b/build.gradle.kts index 6ebd372..7507dfe 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -5,7 +5,7 @@ plugins { id("java") id("org.jetbrains.kotlin.jvm") version "2.2.0" id("org.jetbrains.intellij.platform") version "2.11.0" - id("org.jetbrains.grammarkit") version "2023.3.0.1" + id("org.jetbrains.grammarkit") version "2023.3.0.2" } group = properties("pluginGroup").get()