Rename root project

metaborg · May 29, 2024 · 6ad770a · 6ad770a
1 parent 575729c
commit 6ad770a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -1,4 +1,4 @@
-rootProject.name = "depman"
+rootProject.name = "spoofax3-depman"
 
 pluginManagement {
     repositories {