diff options
| -rw-r--r-- | .gitmodules | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/.gitmodules b/.gitmodules index 2125a92ce3..830b5c4895 100644 --- a/.gitmodules +++ b/.gitmodules @@ -38,22 +38,10 @@ path = libraries/Win32 url = ../packages/Win32.git ignore = untracked -[submodule "libraries/primitive"] - path = libraries/primitive - url = ../packages/primitive.git - ignore = untracked -[submodule "libraries/vector"] - path = libraries/vector - url = ../packages/vector.git - ignore = untracked [submodule "libraries/time"] path = libraries/time url = ../packages/time.git ignore = untracked -[submodule "libraries/random"] - path = libraries/random - url = ../packages/random.git - ignore = untracked [submodule "libraries/array"] path = libraries/array url = ../packages/array.git @@ -102,10 +90,6 @@ path = libraries/stm url = ../packages/stm.git ignore = untracked -[submodule "libraries/dph"] - path = libraries/dph - url = ../packages/dph.git - ignore = untracked [submodule "utils/haddock"] path = utils/haddock url = ../haddock.git |