mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-12 12:25:22 +00:00
fix badge
This commit is contained in:
parent
0c0ffe847d
commit
c566791c5a
1 changed files with 1 additions and 1 deletions
|
|
@ -7,7 +7,7 @@
|
||||||
|
|
||||||
|
|
||||||
# About
|
# About
|
||||||

|

|
||||||
|
|
||||||
Sourcebot is a fast code indexing and search tool for your codebases. It is built ontop of the [zoekt](https://github.com/sourcegraph/zoekt) indexer, originally authored by Han-Wen Nienhuys and now [maintained by Sourcegraph](https://sourcegraph.com/blog/sourcegraph-accepting-zoekt-maintainership).
|
Sourcebot is a fast code indexing and search tool for your codebases. It is built ontop of the [zoekt](https://github.com/sourcegraph/zoekt) indexer, originally authored by Han-Wen Nienhuys and now [maintained by Sourcegraph](https://sourcegraph.com/blog/sourcegraph-accepting-zoekt-maintainership).
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue