fix bug 678.
[phpeclipse.git] / net.sourceforge.phpeclipse.phphelp / .settings / org.eclipse.jdt.core.prefs
1 #Sat Sep 08 11:34:15 PDT 2007
2 eclipse.preferences.version=1
3 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.2
4 org.eclipse.jdt.core.compiler.compliance=1.4
5 org.eclipse.jdt.core.compiler.problem.assertIdentifier=warning
6 org.eclipse.jdt.core.compiler.problem.enumIdentifier=warning
7 org.eclipse.jdt.core.compiler.source=1.3