Remove (by default) temporary gcov files created when running code coverage#452
Merged
kroening merged 1 commit intodiffblue:masterfrom Jan 19, 2017
jgwilson42:cc_tidy_up_440
Merged
Remove (by default) temporary gcov files created when running code coverage#452kroening merged 1 commit intodiffblue:masterfrom jgwilson42:cc_tidy_up_440
kroening merged 1 commit intodiffblue:masterfrom
jgwilson42:cc_tidy_up_440
Commits
Commits on Jan 18, 2017
- committed
jgwilson42