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