Started with PHP/HTML Formatter menu => doesn't work right now
[phpeclipse.git] / net.sourceforge.phpeclipse.phphelp / build.properties
1 source.phphelp.jar = src/