Sign in
eclipse
/
sirius
/
org.eclipse.sirius
/
v6.0.0rc5
/
.
/
plugins
/
org.eclipse.sirius.diagram.ui
/
.options
blob: 708c3d4ef3f172afc3f65b72f4d12b181d104569 [
file
] [
log
] [
blame
]
# Tracing options for the org.eclipse.sirius.diagram.ui plug-in
# Common issues
org
.
eclipse
.
sirius
.
diagram
.
ui
/
debug
=
false
# Visual IDs
org
.
eclipse
.
sirius
.
diagram
.
ui
/
debug
/
visualID
=
false
