Sign in
eclipse
/
henshin
/
org.eclipse.emft.henshin
/
refs/heads/R120
/
.
/
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