diff options
author | Mirko Bonadei <mbonadei@webrtc.org> | 2020-06-17 17:31:50 +0200 |
---|---|---|
committer | Commit Bot <commit-bot@chromium.org> | 2020-06-17 16:10:49 +0000 |
commit | 5086e9668e1a6d7d3cc1921418ace7ede84bbe4e (patch) | |
tree | f4ebd4313c371d2201776567ac6003d05133abed /.git-blame-ignore-revs | |
parent | ae1892d4e4ceac436191d0a33f99cdf337cc5c5f (diff) | |
download | webrtc-5086e9668e1a6d7d3cc1921418ace7ede84bbe4e.tar.gz |
Remove //tools_webrtc/sancov.
While working on bugs.webrtc.org/11680 I discovered this which is
unused.
Bug: webrtc:11680
Change-Id: I43d984ee9b8a66ccc360bc24e5e1e105bc8cc049
Reviewed-on: https://webrtc-review.googlesource.com/c/src/+/177420
Reviewed-by: Artem Titov <titovartem@webrtc.org>
Commit-Queue: Mirko Bonadei <mbonadei@webrtc.org>
Cr-Commit-Position: refs/heads/master@{#31539}
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions