diff options
author | tle | 2007-05-29 23:50:55 +0000 |
---|---|---|
committer | tle | 2007-05-29 23:50:55 +0000 |
commit | affeb0a2ef3b364469f6b98dbba5c244af12ffe0 (patch) | |
tree | 0a0a3a3e551a5ed692a3af9ef2a1ef5fd982e0f9 /jpa/plugins/org.eclipse.jpt.ui/.settings | |
parent | 1056129e8fcdc046e3321b39c1088f96f05509b9 (diff) | |
download | webtools.dali-affeb0a2ef3b364469f6b98dbba5c244af12ffe0.tar.gz webtools.dali-affeb0a2ef3b364469f6b98dbba5c244af12ffe0.tar.xz webtools.dali-affeb0a2ef3b364469f6b98dbba5c244af12ffe0.zip |
Applied patch [189319]
Diffstat (limited to 'jpa/plugins/org.eclipse.jpt.ui/.settings')
-rw-r--r-- | jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.core.resources.prefs | 3 | ||||
-rw-r--r-- | jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.jdt.core.prefs | 7 |
2 files changed, 10 insertions, 0 deletions
diff --git a/jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.core.resources.prefs b/jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000..8f3899b660 --- /dev/null +++ b/jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,3 @@ +#Sun May 27 15:11:25 EDT 2007 +eclipse.preferences.version=1 +encoding/<project>=ISO-8859-1 diff --git a/jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.jdt.core.prefs b/jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000000..d909c105d5 --- /dev/null +++ b/jpa/plugins/org.eclipse.jpt.ui/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,7 @@ +#Sun May 27 14:55:01 EDT 2007 +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 +org.eclipse.jdt.core.compiler.compliance=1.5 +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.source=1.5 |