eclipse stuff

7c66a370 · bes · 7711b9ea · 7c66a370 · 7c66a370 · 7c66a370
Commit 7c66a370 authored 12 years ago by bes
--- a/common/common/.settings/org.eclipse.core.resources.prefs
+++ b/common/common/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
--- a/examples/kdm/.settings/org.eclipse.core.resources.prefs
+++ b/examples/kdm/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding//src/main/java=UTF-8
+encoding//src/test/java=UTF-8
+encoding/<project>=UTF-8
--- a/examples/kieker-mmp/.settings/org.eclipse.core.resources.prefs
+++ b/examples/kieker-mmp/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding//src/main/java=UTF-8
+encoding//src/test/java=UTF-8
+encoding/<project>=UTF-8
--- a/examples/quickstart/.settings/org.eclipse.core.resources.prefs
+++ b/examples/quickstart/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding//src/main/java=UTF-8
+encoding//src/test/java=UTF-8
+encoding/<project>=UTF-8
--- a/examples/system-domain-model/.settings/org.eclipse.core.resources.prefs
+++ b/examples/system-domain-model/.settings/org.eclipse.core.resources.prefs
+eclipse.preferences.version=1
+encoding/<project>=UTF-8