diff --git a/build.gradle.kts b/build.gradle.kts index 517b3da494e98645b49f7c085debd3373c420c7c..08292e0f6136c1aba64708a37a13b8bc606a481a 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -1,10 +1,3 @@ - -/* - * This file was generated by the Gradle 'init' task. - * - * This generated file contains a sample Kotlin application project to get you started. - */ - plugins { // Apply the Kotlin JVM plugin to add support for Kotlin. kotlin("jvm") version "1.8.0" diff --git a/settings.gradle.kts b/settings.gradle.kts index feec1793567b5d0ec0cdcbe26602d82a00dd890a..5418c0b8de701d7a62fdd5811fdc63f20291f90c 100644 --- a/settings.gradle.kts +++ b/settings.gradle.kts @@ -1,11 +1,2 @@ -/* - * This file was generated by the Gradle 'init' task. - * - * The settings file is used to specify which projects to include in your build. - * - * Detailed information about configuring a multi-project build in Gradle can be found - * in the user manual at https://docs.gradle.org/6.5/userguide/multi_project_builds.html - */ - rootProject.name = "b-language-server" //includeBuild("../prob2_kernel/de.prob2.kernel") \ No newline at end of file