diff options
| -rw-r--r-- | .gitmodules | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 07ed3b7e5b..9e0e8058be 100644 --- a/.gitmodules +++ b/.gitmodules @@ -74,6 +74,18 @@ path = libraries/hpc url = ../packages/hpc.git ignore = none +[submodule "libraries/parsec"] + path = libraries/parsec + url = ../packages/parsec.git + ignore = none +[submodule "libraries/text"] + path = libraries/text + url = ../packages/text.git + ignore = none +[submodule "libraries/mtl"] + path = libraries/mtl + url = ../packages/mtl.git + ignore = none [submodule "libraries/process"] path = libraries/process url = ../packages/process.git |