Sign in
eclipse
/
gerrit
/
jeetools
/
webtools.javaee
/
4303f79684430115e1748689daffc1797d568273
/
.
/
plugins
/
org.eclipse.jst.servlet.ui
/
build.properties
blob: 73c1e14618572ee1e686f4e5066e7722d4cc94f2 [
file
] [
log
] [
blame
]
source
.
servletui
.
jar
=
servlet_ui
/,
\
property_files
/
output
.
servletui
.
jar
=
bin
/
bin
.
includes
=
plugin
.
xml
,
\
servletui
.
jar
,
\
plugin
.
properties
,
\
icons
/
src
.
includes
=
plugin
.
xml
,
\
plugin
.
properties