tests/org.eclipse.ocl.examples.xtext.tests/.options

# Debugging options for the org.eclipse.ocl.pivot plug-in

# Turn on display of test name at start of each test
org.eclipse.ocl.examples.xtext.tests/test/start=false