update submodule path
This commit is contained in:
parent
d32ece8e9d
commit
cf470251b0
2
.gitmodules
vendored
2
.gitmodules
vendored
@ -1,3 +1,3 @@
|
||||
[submodule "lib/libflint"]
|
||||
path = lib/libflint
|
||||
url = https://fputs.com/fputs/libflint
|
||||
url = https://git.sr.ht/~fputs/libflint
|
||||
|
Loading…
x
Reference in New Issue
Block a user