diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 783c568b61..55d360ae10 100644 --- a/.gitmodules +++ b/.gitmodules @@ -106,7 +106,7 @@ [submodule "nofib"] path = nofib url = ../nofib.git - ignore = untracked + ignore = untracked [submodule "utils/hsc2hs"] path = utils/hsc2hs url = ../hsc2hs.git @@ -115,6 +115,9 @@ path = libffi-tarballs url = ../libffi-tarballs.git ignore = none +[submodule "gmp-tarballs"] + path = libraries/integer-gmp/gmp/gmp-tarballs + url = ../gmp-tarballs.git [submodule ".arc-linters/arcanist-external-json-linter"] path = .arc-linters/arcanist-external-json-linter url = ../arcanist-external-json-linter.git |