Update Eclipse .settings to declare encodings and line separators

9b944151 · dgelessus · d18b6164 · 9b944151 · 9b944151 · d18b6164
Commit 9b944151 authored 10 months ago by dgelessus
--- a/org.eventb.texteditor.feature/.settings/org.eclipse.core.resources.prefs
+++ b/org.eventb.texteditor.feature/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
--- a/org.eventb.texteditor.feature/.settings/org.eclipse.core.runtime.prefs
+++ b/org.eventb.texteditor.feature/.settings/org.eclipse.core.runtime.prefs
+eclipse.preferences.version=1
+line.separator=\n
--- a/org.eventb.texteditor.feature/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eventb.texteditor.feature/.settings/org.eclipse.jdt.core.prefs
-#
-#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
--- a/org.eventb.texteditor.parsers/.settings/org.eclipse.core.resources.prefs
+++ b/org.eventb.texteditor.parsers/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
--- a/org.eventb.texteditor.parsers/.settings/org.eclipse.core.runtime.prefs
+++ b/org.eventb.texteditor.parsers/.settings/org.eclipse.core.runtime.prefs
+eclipse.preferences.version=1
+line.separator=\n
--- a/org.eventb.texteditor.parsers/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eventb.texteditor.parsers/.settings/org.eclipse.jdt.core.prefs
-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
--- a/org.eventb.texteditor.ui/.settings/org.eclipse.core.resources.prefs
+++ b/org.eventb.texteditor.ui/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
--- a/org.eventb.texteditor.ui/.settings/org.eclipse.core.runtime.prefs
+++ b/org.eventb.texteditor.ui/.settings/org.eclipse.core.runtime.prefs
+eclipse.preferences.version=1
+line.separator=\n
--- a/org.eventb.texttools/.settings/org.eclipse.core.resources.prefs
+++ b/org.eventb.texttools/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
--- a/org.eventb.texttools/.settings/org.eclipse.core.runtime.prefs
+++ b/org.eventb.texttools/.settings/org.eclipse.core.runtime.prefs
+eclipse.preferences.version=1
+line.separator=\n