Default Settings command (Settings menu)

Changes settings that PureCoverage uses for all runs of all programs, unless overridden by executable-specific settings.

(C) Copyright IBM Corporation 1993, 2010.