Patches from Robert Kraske (robekras):
[phpeclipse.git] / net.sourceforge.phpeclipse.externaltools / build.properties
1 source.externaltools.jar = src/
2 output.externaltools.jar = bin/
3 bin.includes = plugin.xml,\
4                externaltools.jar,\
5                icons/
6 src.includes = src/,\
7                build.properties,\
8                icons/