diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | external/m-tree | 0 |
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 4692fa2..ee32aeb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,6 +7,3 @@ [submodule "external/vptree"] path = external/vptree url = https://github.com/pderkowski/vptree.git -[submodule "external/m-tree"] - path = external/m-tree - url = https://github.com/erdavila/M-Tree.git diff --git a/external/m-tree b/external/m-tree deleted file mode 160000 -Subproject 51798932efad942c012699c15037350133ee4a4 |