Sign in
eclipse
/
henshin
/
org.eclipse.emft.henshin
/
720e2ef75c31a5c387e03cb7d1bc3ec71123d38a
/
.
/
plugins
/
org.eclipse.emf.henshin.diagram
/
.options
blob: bb013eba04f5bd215ee41eeb510a51f4281c8511 [
file
] [
log
] [
blame
]
# Tracing options for the org.eclipse.emf.henshin.diagram plug-in
# Common issues
org
.
eclipse
.
emf
.
henshin
.
diagram
/
debug
=
false
# Visual IDs
org
.
eclipse
.
emf
.
henshin
.
diagram
/
debug
/
visualID
=
false