From 2604b654862ef03335c66e6a298dfab63e95637f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Henning?= <soeren.henning@email.uni-kiel.de>
Date: Tue, 16 Mar 2021 10:23:10 +0100
Subject: [PATCH] Update eclipse settings file

---
 .../uc2-application/.settings/org.eclipse.jdt.ui.prefs           | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theodolite-benchmarks/uc2-application/.settings/org.eclipse.jdt.ui.prefs b/theodolite-benchmarks/uc2-application/.settings/org.eclipse.jdt.ui.prefs
index fa98ca63d..4d01df755 100644
--- a/theodolite-benchmarks/uc2-application/.settings/org.eclipse.jdt.ui.prefs
+++ b/theodolite-benchmarks/uc2-application/.settings/org.eclipse.jdt.ui.prefs
@@ -66,6 +66,7 @@ org.eclipse.jdt.ui.ignorelowercasenames=true
 org.eclipse.jdt.ui.importorder=;
 org.eclipse.jdt.ui.ondemandthreshold=99
 org.eclipse.jdt.ui.staticondemandthreshold=99
+org.eclipse.jdt.ui.text.custom_code_templates=
 sp_cleanup.add_default_serial_version_id=true
 sp_cleanup.add_generated_serial_version_id=false
 sp_cleanup.add_missing_annotations=true
-- 
GitLab