diff options
author | Anton Khirnov <anton@khirnov.net> | 2012-08-02 13:47:54 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2012-08-02 13:47:54 +0200 |
commit | 6551e3bcd042d43b518490c75dc068fe0abb9c4a (patch) | |
tree | 86a64b3ce443c62636912628853300568a1767b8 | |
parent | f86b1ad03cf4ebfa5d61f1c7bc4d0b5426e928e8 (diff) |
Remove LocalInterp and LocalReduce.
They've been moved to CactusNumerical.
-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 |