From 014cdf187097f9d41b1d889fddd0667b70426d9d Mon Sep 17 00:00:00 2001 From: Martin Azpillaga Date: Thu, 2 Jan 2025 20:28:38 +0800 Subject: [PATCH] update to language server plugin 1.0.5 --- build.gradle.kts | 4 ---- language-server/build.gradle.kts | 2 +- settings.gradle.kts | 8 -------- 3 files changed, 1 insertion(+), 13 deletions(-) diff --git a/build.gradle.kts b/build.gradle.kts index 53b7303..a9ff7f3 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -2,10 +2,6 @@ import org.gradle.api.tasks.testing.logging.TestExceptionFormat allprojects { group = "com.strumenta.kuki" - repositories { - mavenLocal() - mavenCentral() - } } tasks.wrapper { diff --git a/language-server/build.gradle.kts b/language-server/build.gradle.kts index 43a4d85..5c190c3 100644 --- a/language-server/build.gradle.kts +++ b/language-server/build.gradle.kts @@ -3,7 +3,7 @@ import java.nio.file.Files plugins { id("org.jetbrains.kotlin.jvm") version "1.8.22" - id("com.strumenta.kolasu.language-server-plugin") version "1.0.5-SNAPSHOT" + id("com.strumenta.kolasu.language-server-plugin") version "1.0.5" } dependencies { diff --git a/settings.gradle.kts b/settings.gradle.kts index 99334ad..6663a5d 100644 --- a/settings.gradle.kts +++ b/settings.gradle.kts @@ -1,11 +1,3 @@ rootProject.name = "kuki" include("ast", "language-server") - -pluginManagement { - repositories { - mavenLocal() - gradlePluginPortal() - mavenCentral() - } -}