From ea9b64d7aa3715f74f550881b765bae55e2dd2f2 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Sun, 15 Dec 2019 22:58:02 +0100 Subject: [PATCH] rename project --- settings.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/settings.gradle b/settings.gradle index ba496b4..672c952 100644 --- a/settings.gradle +++ b/settings.gradle @@ -7,7 +7,7 @@ * in the user guide at https://docs.gradle.org/4.10.3/userguide/multi_project_builds.html */ -rootProject.name = 'sle19-impl' +rootProject.name = 'relast-reuse' include 'statemachine' include 'dg' -- GitLab