From 7a08ea7193f0d25d408bf4ac2b65d4d921acd737 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Henning?= <soeren.henning@email.uni-kiel.de>
Date: Fri, 11 Dec 2020 14:01:15 +0100
Subject: [PATCH] Move eclipse settings

---
 {.settings => benchmarks/.settings}/org.eclipse.jdt.ui.prefs      | 0
 .../.settings}/qa.eclipse.plugin.checkstyle.prefs                 | 0
 {.settings => benchmarks/.settings}/qa.eclipse.plugin.pmd.prefs   | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename {.settings => benchmarks/.settings}/org.eclipse.jdt.ui.prefs (100%)
 rename {.settings => benchmarks/.settings}/qa.eclipse.plugin.checkstyle.prefs (100%)
 rename {.settings => benchmarks/.settings}/qa.eclipse.plugin.pmd.prefs (100%)

diff --git a/.settings/org.eclipse.jdt.ui.prefs b/benchmarks/.settings/org.eclipse.jdt.ui.prefs
similarity index 100%
rename from .settings/org.eclipse.jdt.ui.prefs
rename to benchmarks/.settings/org.eclipse.jdt.ui.prefs
diff --git a/.settings/qa.eclipse.plugin.checkstyle.prefs b/benchmarks/.settings/qa.eclipse.plugin.checkstyle.prefs
similarity index 100%
rename from .settings/qa.eclipse.plugin.checkstyle.prefs
rename to benchmarks/.settings/qa.eclipse.plugin.checkstyle.prefs
diff --git a/.settings/qa.eclipse.plugin.pmd.prefs b/benchmarks/.settings/qa.eclipse.plugin.pmd.prefs
similarity index 100%
rename from .settings/qa.eclipse.plugin.pmd.prefs
rename to benchmarks/.settings/qa.eclipse.plugin.pmd.prefs
-- 
GitLab