From 3ea94d64a48c3ffdcb5638cbf0de109987df45f5 Mon Sep 17 00:00:00 2001
From: aniruddhzaveri <aniruddh.zaveri@tum.de>
Date: Mon, 9 Sep 2024 16:54:26 +0200
Subject: [PATCH] server style

---
 build.gradle | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index e53437485601..4ed65552ce49 100644
--- a/build.gradle
+++ b/build.gradle
@@ -78,7 +78,8 @@ spotless {
                         "**/src/main/resources/templates/**",
                         "/docker/**",
                         "checked-out-repos/**",
-                        "**/src/main/java/org/eclipse/**"
+                        "**/src/main/java/org/eclipse/**",
+                        "supporting_scripts/**"
                 )
             }
         }