Skip to content

Remove (by default) temporary gcov files created when running code coverage#452

Merged
kroening merged 1 commit intodiffblue:masterfrom
jgwilson42:cc_tidy_up_440
Jan 19, 2017

Commits

Commits on Jan 18, 2017