first version of external tools
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.ui / build.properties
1 source.debug.jar = src/