diff --git a/gradle.properties b/gradle.properties index 4f6584f..d57a95d 100644 --- a/gradle.properties +++ b/gradle.properties @@ -5,7 +5,7 @@ pluginName = lean4ij pluginRepositoryUrl = https://github.com/onriv/lean4ij # SemVer format -> https://semver.org # TODO add sha1 to the beta output -pluginVersion = 0.1.9-beta.2 +pluginVersion = 0.1.9 # 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