Description

A ToolRef identifies a tool inside a specific toolchain. It can be used to look up the tool.

ToolRef is referenced in 3 repositories

github.com/sourcegraph/srclib sourcegraph/srclib sourcegraph.com/sourcegraph/srclib