diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.gitmodules b/.gitmodules index c491bfa..e68f56c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,12 +22,6 @@ [submodule "IOUtil"] path = IOUtil url = git://git.khirnov.net/thorns/IOUtil/.git -[submodule "LocalInterp"] - path = LocalInterp - url = git://git.khirnov.net/thorns/LocalInterp/.git -[submodule "LocalReduce"] - path = LocalReduce - url = git://git.khirnov.net/thorns/LocalReduce/.git [submodule "SymBase"] path = SymBase url = git://git.khirnov.net/thorns/SymBase/.git |