remove name clash with JDT editor category
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / build.properties
1 bin.includes = plugin.xml,\
2                cpl-v10.html,\
3                icons/,\
4                plugin.properties,\
5                templates/,\
6                ui.jar
7 source.ui.jar = src/
8 src.includes = src/,\
9                .classpath,\
10                .cvsignore,\
11                .project