1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse.test / .settings / org.eclipse.jdt.core.prefs
2007-09-08 pombredanneMade test to compile. Seven need fixing and are not...