settings.gradle.kts (
2
lines of code) (
raw
):
rootProject.name = "intellij-arend" includeBuild("../Arend")