Gitiles
Code Review
Sign In
git.eclipse.org
/
servertools
/
webtools.servertools
/
7e4229adfbd1d47532d38a3864e1ba94b51e02c3
/
.
/
plugins
/
org.eclipse.jst.server.preview
/
.options
blob: c0ef0b3968073a51df11625155d70a677a88c4dc [
file
] [
log
] [
blame
]
# Debugging options for the org.eclipse.jst.server.core plugin
# Turn on general debugging
org
.
eclipse
.
jst
.
server
.
core
/
debug
=
true
# Turn on general debugging
org
.
eclipse
.
jst
.
server
.
core
/
publishing
=
false