From 97db47db787447c775732643d8a8bc07961d0fdc Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 3 Jul 2024 14:01:01 +0200 Subject: [PATCH] Make Eclipse .settings consistent across all subprojects --- .../.settings/org.eclipse.core.resources.prefs | 5 ++--- .../.settings/org.eclipse.core.runtime.prefs | 5 ++--- .../.settings/org.eclipse.core.resources.prefs | 1 - .../.settings/org.eclipse.core.runtime.prefs | 1 - .../.settings/org.eclipse.core.resources.prefs | 2 ++ .../.settings/org.eclipse.core.runtime.prefs | 2 ++ de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs | 7 ------- de.prob.core/.settings/org.eclipse.core.resources.prefs | 1 - de.prob.core/.settings/org.eclipse.core.runtime.prefs | 1 - .../.settings/org.eclipse.core.resources.prefs | 2 ++ .../.settings/org.eclipse.core.runtime.prefs | 2 ++ .../.settings/org.eclipse.jdt.core.prefs | 7 ------- .../.settings/org.eclipse.core.resources.prefs | 2 ++ .../.settings/org.eclipse.core.runtime.prefs | 2 ++ .../.settings/org.eclipse.jdt.core.prefs | 7 ------- .../.settings/org.eclipse.core.resources.prefs | 2 ++ de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs | 2 ++ de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs | 7 ------- de.prob.ui/.settings/org.eclipse.core.resources.prefs | 1 - de.prob.ui/.settings/org.eclipse.core.runtime.prefs | 1 - .../.settings/org.eclipse.core.resources.prefs | 2 ++ .../.settings/org.eclipse.core.runtime.prefs | 2 ++ .../.settings/org.eclipse.core.resources.prefs | 1 - de.prob2.feature/.settings/org.eclipse.core.runtime.prefs | 1 - .../.settings/org.eclipse.core.resources.prefs | 2 ++ .../.settings/org.eclipse.core.runtime.prefs | 2 ++ 26 files changed, 28 insertions(+), 42 deletions(-) create mode 100644 de.prob.core.tests/.settings/org.eclipse.core.resources.prefs create mode 100644 de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs delete mode 100644 de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs create mode 100644 de.prob.eventb.disprover.core/.settings/org.eclipse.core.resources.prefs create mode 100644 de.prob.eventb.disprover.core/.settings/org.eclipse.core.runtime.prefs delete mode 100644 de.prob.eventb.disprover.core/.settings/org.eclipse.jdt.core.prefs create mode 100644 de.prob.eventb.disprover.ui/.settings/org.eclipse.core.resources.prefs create mode 100644 de.prob.eventb.disprover.ui/.settings/org.eclipse.core.runtime.prefs delete mode 100644 de.prob.eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs create mode 100644 de.prob.symbolic/.settings/org.eclipse.core.resources.prefs create mode 100644 de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs delete mode 100644 de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs create mode 100644 de.prob2.disprover.feature/.settings/org.eclipse.core.resources.prefs create mode 100644 de.prob2.disprover.feature/.settings/org.eclipse.core.runtime.prefs create mode 100644 de.prob2.symbolic.feature/.settings/org.eclipse.core.resources.prefs create mode 100644 de.prob2.symbolic.feature/.settings/org.eclipse.core.runtime.prefs diff --git a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs index 35c1f5a7..99f26c02 100644 --- a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs +++ b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:11 CET 2011 -eclipse.preferences.version=1 -encoding/<project>=UTF-8 +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs index 11c1f686..5a0ad22d 100644 --- a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs +++ b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:11 CET 2011 -eclipse.preferences.version=1 -line.separator=\n +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs b/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs index 156f2938..99f26c02 100644 --- a/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs +++ b/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:00 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs b/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs index b9abd08f..5a0ad22d 100644 --- a/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs +++ b/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:00 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob.core.tests/.settings/org.eclipse.core.resources.prefs b/de.prob.core.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..99f26c02 --- /dev/null +++ b/de.prob.core.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs b/de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 00000000..5a0ad22d --- /dev/null +++ b/de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs b/de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61d..00000000 --- a/de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.core/.settings/org.eclipse.core.resources.prefs b/de.prob.core/.settings/org.eclipse.core.resources.prefs index cce8254d..99f26c02 100644 --- a/de.prob.core/.settings/org.eclipse.core.resources.prefs +++ b/de.prob.core/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:15:48 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.prob.core/.settings/org.eclipse.core.runtime.prefs b/de.prob.core/.settings/org.eclipse.core.runtime.prefs index f5fa27d7..5a0ad22d 100644 --- a/de.prob.core/.settings/org.eclipse.core.runtime.prefs +++ b/de.prob.core/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:15:48 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob.eventb.disprover.core/.settings/org.eclipse.core.resources.prefs b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..99f26c02 --- /dev/null +++ b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.eventb.disprover.core/.settings/org.eclipse.core.runtime.prefs b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 00000000..5a0ad22d --- /dev/null +++ b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.eventb.disprover.core/.settings/org.eclipse.jdt.core.prefs b/de.prob.eventb.disprover.core/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61d..00000000 --- a/de.prob.eventb.disprover.core/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.resources.prefs b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..99f26c02 --- /dev/null +++ b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.runtime.prefs b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 00000000..5a0ad22d --- /dev/null +++ b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs b/de.prob.eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61d..00000000 --- a/de.prob.eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.symbolic/.settings/org.eclipse.core.resources.prefs b/de.prob.symbolic/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..99f26c02 --- /dev/null +++ b/de.prob.symbolic/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs b/de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 00000000..5a0ad22d --- /dev/null +++ b/de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs b/de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61d..00000000 --- a/de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.ui/.settings/org.eclipse.core.resources.prefs b/de.prob.ui/.settings/org.eclipse.core.resources.prefs index fb2694f7..99f26c02 100644 --- a/de.prob.ui/.settings/org.eclipse.core.resources.prefs +++ b/de.prob.ui/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:05 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.prob.ui/.settings/org.eclipse.core.runtime.prefs b/de.prob.ui/.settings/org.eclipse.core.runtime.prefs index 3b117ad1..5a0ad22d 100644 --- a/de.prob.ui/.settings/org.eclipse.core.runtime.prefs +++ b/de.prob.ui/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:05 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob2.disprover.feature/.settings/org.eclipse.core.resources.prefs b/de.prob2.disprover.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..99f26c02 --- /dev/null +++ b/de.prob2.disprover.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob2.disprover.feature/.settings/org.eclipse.core.runtime.prefs b/de.prob2.disprover.feature/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 00000000..5a0ad22d --- /dev/null +++ b/de.prob2.disprover.feature/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob2.feature/.settings/org.eclipse.core.resources.prefs b/de.prob2.feature/.settings/org.eclipse.core.resources.prefs index ae8dfb58..99f26c02 100644 --- a/de.prob2.feature/.settings/org.eclipse.core.resources.prefs +++ b/de.prob2.feature/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:25 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs b/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs index 57a8ae0b..5a0ad22d 100644 --- a/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs +++ b/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:25 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob2.symbolic.feature/.settings/org.eclipse.core.resources.prefs b/de.prob2.symbolic.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..99f26c02 --- /dev/null +++ b/de.prob2.symbolic.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob2.symbolic.feature/.settings/org.eclipse.core.runtime.prefs b/de.prob2.symbolic.feature/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 00000000..5a0ad22d --- /dev/null +++ b/de.prob2.symbolic.feature/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n -- GitLab