fix libflint

This commit is contained in:
Evan Burkey 2024-04-11 06:50:17 -07:00
parent d52d901538
commit de2a3031f4
1 changed files with 1 additions and 1 deletions

2
.gitmodules vendored
View File

@ -1,3 +1,3 @@
[submodule "lib/libflint"] [submodule "lib/libflint"]
path = lib/libflint path = lib/libflint
url = https://git.fputs.com/eburk/libflint url = https://git.burkey.co/eburk/libflint