php formatter based on the JDT java formatter (very early version)
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / build.properties
1 source.core.jar = src/