This commit is contained in:
2021-09-18 10:59:09 -07:00
parent fc4cacf492
commit d32ece8e9d
4 changed files with 60 additions and 22 deletions

2
.gitmodules vendored
View File

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