diff options
author | renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> | 2023-09-20 10:34:59 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-20 10:34:59 +0000 |
commit | c95cbbec5fb96c6eefceb017c306309020e0b130 (patch) | |
tree | 42a9ab5338716fc61a22da4c107d6c65213127ec /integration | |
parent | 50e37b84e4bb90b87b757e5ab1670ecf1e773477 (diff) |
Update plugin org.jetbrains.grammarkit to v2022.3.2
Diffstat (limited to 'integration')
-rw-r--r-- | integration/intellij/build.gradle.kts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/integration/intellij/build.gradle.kts b/integration/intellij/build.gradle.kts index b1e5180d02f..8bc29164a35 100644 --- a/integration/intellij/build.gradle.kts +++ b/integration/intellij/build.gradle.kts @@ -5,7 +5,7 @@ import org.jetbrains.grammarkit.tasks.GenerateParserTask plugins { id("java-library") id("org.jetbrains.intellij") version "1.15.0" - id("org.jetbrains.grammarkit") version "2022.3.1" + id("org.jetbrains.grammarkit") version "2022.3.2" id("maven-publish") // to deploy the plugin into a Maven repo } |