Update Metaborg convention

metaborg · Jul 17, 2024 · 2b91296 · 2b91296
1 parent 0294ce5
commit 2b91296
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -15,7 +15,7 @@ pluginManagement {
 }
 
 plugins {
-    id("org.metaborg.convention.settings") version "0.8.1"
+    id("org.metaborg.convention.settings") version "0.8.3"
 }
 
 include(":resource.api")