Sign in
eclipse
/
servertools
/
webtools.servertools
/
a0e2e9df76d502e3b6e7772116dbba1e2e8c4f23
/
.
/
plugins
/
org.eclipse.wst.server.ui
/
.options
blob: 94000df70f7c97a9fdf2d502df88e2e213b286a5 [
file
] [
log
] [
blame
]
# Debugging options for the org.eclipse.wst.server.ui plugin
# Turn on general debugging
org
.
eclipse
.
wst
.
server
.
ui
/
debug
=
false
# Prints out values
org
.
eclipse
.
wst
.
server
.
ui
/
editor
=
false
