From da0f0abcbbad104d627f104375ae89bb661bed44 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 14 Jan 2023 14:13:16 +0100
Subject: [PATCH] Minor change, forcing source code compatibility.

---
 build.gradle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index 062466e..7b80b24 100644
--- a/build.gradle
+++ b/build.gradle
@@ -6,8 +6,8 @@ plugins {
     id 'java'
 }
 
-sourceCompatibility = 11
-targetCompatibility = 11
+//sourceCompatibility = 11
+//targetCompatibility = 11
 
 repositories {
     mavenCentral()
-- 
GitLab