diff --git a/docs/theme/home.html b/docs/theme/home.html index d906bac6..9efc6548 100644 --- a/docs/theme/home.html +++ b/docs/theme/home.html @@ -27,7 +27,7 @@

srclib symbol + href="https://sourcegraph.com/github.com/sourcegraph/srclib">