Refresh Wiki Editor Text from MySQL via JDBC interface
[phpeclipse.git] / net.sourceforge.phpeclipse.xdebug.core / build.properties
1 source.core.jar = src/
2 output.core.jar = bin/
3 bin.includes = plugin.xml,\
4                core.jar