# Debugging options for the org.eclipse.ptp.rdt.ui

# Also displays overall startup time.
org.eclipse.ptp.rdt.ui/debug=false

# Enables dstore server tracing
org.eclipse.ptp.rdt.ui/debug/dstore/tracing=false
