From 9b944151f08cf33b782c02da56e2af4f58b23703 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 3 Jul 2024 18:16:23 +0200 Subject: [PATCH] Update Eclipse .settings to declare encodings and line separators --- .../.settings/org.eclipse.core.resources.prefs | 2 ++ .../.settings/org.eclipse.core.runtime.prefs | 2 ++ .../.settings/org.eclipse.jdt.core.prefs | 13 ------------- .../.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.core.resources.prefs | 2 ++ .../.settings/org.eclipse.core.runtime.prefs | 2 ++ 10 files changed, 16 insertions(+), 20 deletions(-) create mode 100644 org.eventb.texteditor.feature/.settings/org.eclipse.core.resources.prefs create mode 100644 org.eventb.texteditor.feature/.settings/org.eclipse.core.runtime.prefs delete mode 100644 org.eventb.texteditor.feature/.settings/org.eclipse.jdt.core.prefs create mode 100644 org.eventb.texteditor.parsers/.settings/org.eclipse.core.resources.prefs create mode 100644 org.eventb.texteditor.parsers/.settings/org.eclipse.core.runtime.prefs delete mode 100644 org.eventb.texteditor.parsers/.settings/org.eclipse.jdt.core.prefs create mode 100644 org.eventb.texteditor.ui/.settings/org.eclipse.core.resources.prefs create mode 100644 org.eventb.texteditor.ui/.settings/org.eclipse.core.runtime.prefs create mode 100644 org.eventb.texttools/.settings/org.eclipse.core.resources.prefs create mode 100644 org.eventb.texttools/.settings/org.eclipse.core.runtime.prefs diff --git a/org.eventb.texteditor.feature/.settings/org.eclipse.core.resources.prefs b/org.eventb.texteditor.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..99f26c0 --- /dev/null +++ b/org.eventb.texteditor.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/org.eventb.texteditor.feature/.settings/org.eclipse.core.runtime.prefs b/org.eventb.texteditor.feature/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000..5a0ad22 --- /dev/null +++ b/org.eventb.texteditor.feature/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/org.eventb.texteditor.feature/.settings/org.eclipse.jdt.core.prefs b/org.eventb.texteditor.feature/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index c5bb454..0000000 --- a/org.eventb.texteditor.feature/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,13 +0,0 @@ -# -#Wed Jun 25 10:22:53 CEST 2014 -org.eclipse.jdt.core.compiler.debug.localVariable=generate -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.debug.sourceFile=generate -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.debug.lineNumber=generate -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.source=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error diff --git a/org.eventb.texteditor.parsers/.settings/org.eclipse.core.resources.prefs b/org.eventb.texteditor.parsers/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..99f26c0 --- /dev/null +++ b/org.eventb.texteditor.parsers/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/org.eventb.texteditor.parsers/.settings/org.eclipse.core.runtime.prefs b/org.eventb.texteditor.parsers/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000..5a0ad22 --- /dev/null +++ b/org.eventb.texteditor.parsers/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/org.eventb.texteditor.parsers/.settings/org.eclipse.jdt.core.prefs b/org.eventb.texteditor.parsers/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index f42de36..0000000 --- a/org.eventb.texteditor.parsers/.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.7 -org.eclipse.jdt.core.compiler.compliance=1.7 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.7 diff --git a/org.eventb.texteditor.ui/.settings/org.eclipse.core.resources.prefs b/org.eventb.texteditor.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..99f26c0 --- /dev/null +++ b/org.eventb.texteditor.ui/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/org.eventb.texteditor.ui/.settings/org.eclipse.core.runtime.prefs b/org.eventb.texteditor.ui/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000..5a0ad22 --- /dev/null +++ b/org.eventb.texteditor.ui/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/org.eventb.texttools/.settings/org.eclipse.core.resources.prefs b/org.eventb.texttools/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..99f26c0 --- /dev/null +++ b/org.eventb.texttools/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/org.eventb.texttools/.settings/org.eclipse.core.runtime.prefs b/org.eventb.texttools/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000..5a0ad22 --- /dev/null +++ b/org.eventb.texttools/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n -- GitLab