d13b9646de018bf891bcc32366b7b315a1f28742
[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