remove name clash with JDT editor category
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.html.ui / build.properties
1 source.htmlui.jar = src/
2 output.htmlui.jar = bin/
3 bin.includes = plugin.xml,\
4                htmlui.jar,\
5                icons/,\
6                cpl-v10.html
7 src.includes = src/