diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 55d360ae10..a2d9bb1e5a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -121,3 +121,15 @@ [submodule ".arc-linters/arcanist-external-json-linter"] path = .arc-linters/arcanist-external-json-linter url = ../arcanist-external-json-linter.git +[submodule "libraries/parsec"] + path = libraries/parsec + url = ../packages/parsec.git + ignore = none +[submodule "libraries/mtl"] + path = libraries/mtl + url = ../packages/mtl.git + ignore = none +[submodule "libraries/text"] + path = libraries/text + url = ../packages/text.git + ignore = none |