.options « org.eclipse.jst.server.core « plugins - webtools.servertools.git - Repo moved to : https://github.com/eclipse-servertools/servertools

This CGIT instance is deprecated, and repositories have been moved to Gitlab or Github. See the repository descriptions for specific locations.

index : webtools.servertools.git

Repo moved to : https://github.com/eclipse-servertools/servertools

Linux User

summary refs log tree commit diff stats

path: root/plugins/org.eclipse.jst.server.core/.options

blob: c0ef0b3968073a51df11625155d70a677a88c4dc (plain) (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

Back to the top