From cf470251b06bbda35d416330fff2eb2b1820b1e6 Mon Sep 17 00:00:00 2001 From: Evan Burkey Date: Mon, 22 Nov 2021 14:19:02 -0800 Subject: [PATCH] update submodule path --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 0047079..d10f080 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "lib/libflint"] path = lib/libflint - url = https://fputs.com/fputs/libflint + url = https://git.sr.ht/~fputs/libflint