build.properties « org.eclipse.jst.servlet.ui « plugins - webtools.javaee.git - This repo has moved to: https://github.com/eclipse-jeetools/webtools.javaee

This CGIT instance is deprecated, and repositories have been moved to Gitlab or Github. See the repository descriptions for specific locations.

index : webtools.javaee.git

This repo has moved to: https://github.com/eclipse-jeetools/webtools.javaee

Linux User

summary refs log tree commit diff stats

path: root/plugins/org.eclipse.jst.servlet.ui/build.properties

blob: cabf56b0b51db34891e1cdb45a4458aaed1cf6be (plain) (blame)

source.. = servlet_ui/,\
                       property_files/
output.. = bin/
bin.includes = plugin.xml,\
               .,\
               plugin.properties,\
               icons/,\
               META-INF/,\
               about.html
src.includes = plugin.xml,\
               plugin.properties

Back to the top