.options « org.eclipse.jem.util « plugins - webtools.common.git - This repo has moved to: https://github.com/eclipse-wtp-common/webtools.common

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

index : webtools.common.git

This repo has moved to: https://github.com/eclipse-wtp-common/webtools.common

Linux User

summary refs log tree commit diff stats

path: root/plugins/org.eclipse.jem.util/.options

blob: 0565417687d21387ac8a1a5a92c81cf589edf0e8 (plain) (blame)

1
2
3

org.eclipse.jem.util/debug/logtrace=false
org.eclipse.jem.util/debug/logtracefile=false
org.eclipse.jem.util/debug/loglevel=WARNING

Back to the top