Google Git
Sign in
eclipse / gerrit / opencert / opencert / 6f19b1b49fa0717679323983821ed4ba0b43c57d / . / org.eclipse.opencert.vocabulary.diagram / .options
blob: 4148da59c97eab34d74e667fc17046c000e79465 [file] [log] [blame]
# Tracing options for the org.eclipse.opencert.vocabulary.diagram plug-in
# Common issues
org.eclipse.opencert.vocabulary.diagram/debug=false
# Visual IDs
org.eclipse.opencert.vocabulary.diagram/debug/visualID=false