Current php5 doc from www.php.net (english);
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / build.properties
1 bin.includes = plugin.xml
2 source.ui.jar = src/