new htmledit.gif and phpedit.gif (Mark Chakerian)
[phpeclipse.git] / net.sourceforge.phpeclipse.launching / build.properties
1 source.launch.jar = src/
2 bin.includes = plugin.xml,\
3                plugin.properties,\
4                launch.jar,\
5                .classpath,\
6                .project,\
7                .template