diff --git a/.gitmodules b/.gitmodules index b93c5efd9..4ce51fcad 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,9 +10,6 @@ [submodule "submodules/cereal"] path = submodules/cereal url = https://github.com/USCiLab/cereal.git -[submodule "submodules/recastnavigation"] - path = submodules/recastnavigation - url = https://github.com/recastnavigation/recastnavigation.git [submodule "submodules/websocketpp"] path = submodules/websocketpp url = https://github.com/zaphoyd/websocketpp.git diff --git a/submodules/recastnavigation b/submodules/recastnavigation deleted file mode 160000 index 3a619d773..000000000 --- a/submodules/recastnavigation +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3a619d773deb7e3a15ee215217c825995fe71312