up ver

onriv · Jan 6, 2025 · 55ccf1a · 55ccf1a
1 parent be7cb58
commit 55ccf1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.11-beta.1
+pluginVersion = 0.1.11
 
 # 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