Sign in
eclipse
/
gerrit
/
jeetools
/
webtools.javaee
/
d2abf83713f0bb6e29fbb3d1f6d6c7ab8788a056
/
.
/
plugins
/
org.eclipse.jst.servlet.ui
/
build.properties
blob: b8890d159c1be0232903430a95d47319a5e8e822 [
file
] [
log
] [
blame
]
source
.
servletui
.
jar
=
servlet_ui
/,
\
property_files
/
output
.
servletui
.
jar
=
bin
/
bin
.
includes
=
plugin
.
xml
,
\
servletui
.
jar
,
\
plugin
.
properties
,
\
icons
/,
\
META
-
INF
/,
\
about
.
html
src
.
includes
=
plugin
.
xml
,
\
plugin
.
properties