Sign in
eclipse
/
sirius
/
org.eclipse.sirius
/
758147ad8d5b123304b7e90fc2295c79fde165f6
/
.
/
plugins
/
org.eclipse.sirius.ui.editor
/
.options
blob: 73966516f0f8b880707a981ea0e499ab1cf17951 [
file
] [
log
] [
blame
]
# Tracing options for the org.eclipse.sirius.ui.editor plug-in
# Common issues
org
.
eclipse
.
sirius
.
ui
.
editor
/
debug
=
false