# This is a stub WORKSPACE to override remote_coverage_tools.
# See b/201242197 for more information.