0.0.17.beta.4

onriv · Oct 4, 2024 · 37593a4 · 37593a4
1 parent 27be9ce
commit 37593a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.17-beta.3
+pluginVersion = 0.0.17-beta.4
 
 # 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