mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-11 20:05:25 +00:00
update zoekt version
This commit is contained in:
parent
f759bb2bb6
commit
8f29ea4a96
2 changed files with 2 additions and 3 deletions
3
.gitmodules
vendored
3
.gitmodules
vendored
|
|
@ -1,5 +1,4 @@
|
|||
[submodule "vendor/zoekt"]
|
||||
path = vendor/zoekt
|
||||
url = https://github.com/sourcebot-dev/zoekt
|
||||
# @todo : update this to main when we have a release
|
||||
branch=v3
|
||||
branch=main
|
||||
|
|
|
|||
2
vendor/zoekt
vendored
2
vendor/zoekt
vendored
|
|
@ -1 +1 @@
|
|||
Subproject commit 123cf926812a0284f7bf1056160b9e7e4c2c7a2f
|
||||
Subproject commit cf456394003dd9bfc9a885fdfcc8cc80230a261d
|
||||
Loading…
Reference in a new issue