1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse / .settings / org.eclipse.jdt.core.prefs
1 #Fri Sep 07 14:46:22 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