From d978753d86b8b03b43b7ea06789a4d4b11165449 Mon Sep 17 00:00:00 2001
From: Markus Schmidt <m.schmidt@iwm-tuebingen.de>
Date: Fri, 1 Oct 2021 10:59:01 +0200
Subject: [PATCH] =?UTF-8?q?=E2=80=9E.settings/org.eclipse.core.resources.p?=
 =?UTF-8?q?refs=E2=80=9C=20l=C3=B6schen?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .settings/org.eclipse.core.resources.prefs | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 .settings/org.eclipse.core.resources.prefs

diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index 2fe37b9..0000000
--- a/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-eclipse.preferences.version=1
-encoding//controllers/default.py=utf-8
-encoding//models/db.py=utf-8