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 /LocalInterp | |
parent | f86b1ad03cf4ebfa5d61f1c7bc4d0b5426e928e8 (diff) |
Remove LocalInterp and LocalReduce.
They've been moved to CactusNumerical.
Diffstat (limited to 'LocalInterp')
m--------- | LocalInterp | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/LocalInterp b/LocalInterp deleted file mode 160000 -Subproject 0fea29a1963f49533984540d2cea0e13b19ecb2 |