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 /.gitmodules | |
parent | f86b1ad03cf4ebfa5d61f1c7bc4d0b5426e928e8 (diff) |
Remove LocalInterp and LocalReduce.
They've been moved to CactusNumerical.
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 |