From b46112ec45197f4c12a8d1481d37cfedb25bea52 Mon Sep 17 00:00:00 2001 From: Shanghe Chen Date: Mon, 21 Oct 2024 10:16:26 +0800 Subject: [PATCH] Update gradle.properties --- gradle.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gradle.properties b/gradle.properties index b0c49c6..510fd85 100644 --- a/gradle.properties +++ b/gradle.properties @@ -4,7 +4,7 @@ pluginGroup = lean4ij pluginName = lean4ij pluginRepositoryUrl = https://github.com/onriv/lean4ij # SemVer format -> https://semver.org -pluginVersion = 0.0.19.beta.2 +pluginVersion = 0.0.19 # Supported build number ranges and IntelliJ Platform versions -> https://plugins.jetbrains.com/docs/intellij/build-number-ranges.html # For the dependence on textmate bundle api, the plugin must start build from 241