-
Moshe Weitzman authored
Remove code coverage feature which was barely implemented and is not needed now that code registry is mostly rolled back.
a33c361f
Remove code coverage feature which was barely implemented and is not needed now that code registry is mostly rolled back.