From 66436d971577d7c32bd7b476d467fb2ed05b6991 Mon Sep 17 00:00:00 2001
From: Jacob <jacob.signorovitch@gmail.com>
Date: Tue, 5 Nov 2024 19:47:44 -0500
Subject: [PATCH] Fixed .gitignore for the last time.

---
 .gitignore                                            |  1 -
 delegation/.settings/org.eclipse.core.resources.prefs |  2 ++
 delegation/.settings/org.eclipse.jdt.core.prefs       | 11 +++++++++++
 mastermind/.settings/org.eclipse.core.resources.prefs |  2 ++
 mastermind/.settings/org.eclipse.jdt.core.prefs       | 11 +++++++++++
 5 files changed, 26 insertions(+), 1 deletion(-)
 create mode 100644 delegation/.settings/org.eclipse.core.resources.prefs
 create mode 100644 delegation/.settings/org.eclipse.jdt.core.prefs
 create mode 100644 mastermind/.settings/org.eclipse.core.resources.prefs
 create mode 100644 mastermind/.settings/org.eclipse.jdt.core.prefs

diff --git a/.gitignore b/.gitignore
index 8e84886..a127f96 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,7 +11,6 @@
 hs_err_pid*
 replay_pid*
 **/.metadata/
-**/.settings/
 **/.classpath
 **/bin/
 .old/
diff --git a/delegation/.settings/org.eclipse.core.resources.prefs b/delegation/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000..99f26c0
--- /dev/null
+++ b/delegation/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
diff --git a/delegation/.settings/org.eclipse.jdt.core.prefs b/delegation/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..9a7984b
--- /dev/null
+++ b/delegation/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,11 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=21
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=21
diff --git a/mastermind/.settings/org.eclipse.core.resources.prefs b/mastermind/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000..99f26c0
--- /dev/null
+++ b/mastermind/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
diff --git a/mastermind/.settings/org.eclipse.jdt.core.prefs b/mastermind/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..9a7984b
--- /dev/null
+++ b/mastermind/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,11 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=21
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=21