Set project name explicitly

jhh · jhh · commit f92085b4023c · 2021-07-15T09:17:54.000-04:00
diff --git a/settings.gradle b/settings.gradle
@@ -25,3 +25,5 @@ pluginManagement {
         }
     }
 }
+
+rootProject.name = "tct"
