fix bug #675.
[phpeclipse.git] / net.sourceforge.phpeclipse.32.compatibility / .settings / org.eclipse.jdt.core.prefs
2008-07-12 Edward MannCode needed for final 1.1.9 build.
2008-06-27 Edward MannCompatibility fragment commit