diff options
-rw-r--r-- | .gitmodules | 6 | ||||
m--------- | LocalInterp | 0 | ||||
m--------- | LocalReduce | 0 |
3 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 diff --git a/LocalInterp b/LocalInterp deleted file mode 160000 -Subproject 0fea29a1963f49533984540d2cea0e13b19ecb2 diff --git a/LocalReduce b/LocalReduce deleted file mode 160000 -Subproject 29d9448bedafd24124652852c8b8e73f0c2654f |