org.eclipse.debug.ui/build.properties - gerrit/platform/eclipse.platform.debug - Git at Google

 bin.includes = icons/,\
                .options,\
                plugin.xml,\
                plugin.properties,\
                *.jar,\
                about.html

 source.dtui.jar = ui/
 src.includes=about.html
	bin.includes = icons/,\
	.options,\
	plugin.xml,\
	plugin.properties,\
	*.jar,\
	about.html

	source.dtui.jar = ui/
	src.includes=about.html