org.eclipse.opencert.sam.arg.diagram/.options

# Tracing options for the org.eclipse.opencert.sam.arg.diagram plug-in

# Common issues
org.eclipse.opencert.sam.arg.diagram/debug=false

# Visual IDs
org.eclipse.opencert.sam.arg.diagram/debug/visualID=false