dotCover options
The Options dialog is the central location for dotCover configuration settings. You can use the search field in the upper left corner to find the desired preference.
Click Manage to manage and share dotCover settings.
11 February 2024