# 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
