This repository was archived by the owner on May 28, 2025. It is now read-only.
Commit cf5f894
committed
Auto merge of rust-lang#7297 - flip1995:rm-cov, r=giraffate
Remove util/cov.sh script
This script hasn't been working and wasn't used for years.
changelog: none1 file changed
+0
-37
lines changedThis file was deleted.
0 commit comments