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