PHP highlighting colors could now be managed by the new PreferencePage
[phpeclipse.git] / net.sourceforge.phpeclipse.tests / build.properties
1 source.coretests.jar = src/