dotCover options
The Options dialog is the central location for dotCover configuration settings. You can use the search box in the upper left corner to find the desired preference.
Click Manage to manage and share dotCover settings.
Last modified: 29 September 2022