diff --git a/.gitmodules b/.gitmodules index 9637b86..a5354c8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "lib/libflint"] path = lib/libflint - url = https://git.fputs.com/eburk/libflint + url = https://git.burkey.co/eburk/libflint