org.eclipse.jdt.core.prefs « .settings « org.eclipse.wst.server.discovery « plugins - webtools.servertools.git - Repo moved to : https://github.com/eclipse-servertools/servertools

index : webtools.servertools.git

Repo moved to : https://github.com/eclipse-servertools/servertools

Linux User

summary refs log tree commit diff stats

path: root/plugins/org.eclipse.wst.server.discovery/.settings/org.eclipse.jdt.core.prefs

blob: c6d85065ed43300af31756964e3560ffabdd8dcd (plain) (blame)

#Wed Oct 22 12:44:23 EDT 2008
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

Back to the top