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

 bin.includes = .options,\
                plugin.xml,\
                plugin.properties,\
                *.jar,\
                about.html
 source.dtcore.jar = core/
 src.includes=about.html
	bin.includes = .options,\
	plugin.xml,\
	plugin.properties,\
	*.jar,\
	about.html
	source.dtcore.jar = core/
	src.includes=about.html