FIX: added missing org.eclipse.pde.runtime_3.1.1.jar reference
[phpeclipse.git] / net.sourceforge.phpeclipse.core / build.properties
1 source.webcore.jar = src/
2 output.webcore.jar = bin/
3 bin.includes = plugin.xml,\
4                webcore.jar
5 src.includes = src/