Remove "cover" which is obsolete (#797)

See istio/tools#2451, its only usage
istio · May 1, 2023 · 0287eb5 · 0287eb5
1 parent bb91b71
commit 0287eb5
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 1,149 deletions.
diff --git a/cover/assets/assets.gen.go b/cover/assets/assets.gen.go
diff --git a/cover/assets/assets.go b/cover/assets/assets.go
diff --git a/cover/assets/templates/index.html b/cover/assets/templates/index.html
diff --git a/cover/block.go b/cover/block.go