diff options
| author | renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> | 2023-12-22 22:51:54 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-22 22:51:54 +0000 |
| commit | e4eae8772a1751e4dcb3c3270ac7e21fabd956bd (patch) | |
| tree | d1a5908a0787bf13b41aa216447b67cc8f03dfe1 /integration | |
| parent | 95da3db0757ce9a768adf22adfecf243a8003872 (diff) | |
Update plugin org.jetbrains.grammarkit to v2022.3.2.1
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 502c09c58f8..980e8878efc 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.16.1" - id("org.jetbrains.grammarkit") version "2022.3.2" + id("org.jetbrains.grammarkit") version "2022.3.2.1" id("maven-publish") // to deploy the plugin into a Maven repo } |