From 9b48aa8001927d0a4b81b9565df77d3cf5b9cff2 Mon Sep 17 00:00:00 2001 From: Heiko Carrasco Date: Sun, 22 Oct 2023 16:07:43 -0400 Subject: [PATCH] Remove mujoco submodule --- .gitmodules | 3 --- thirdParty/mujoco-py | 1 - 2 files changed, 4 deletions(-) delete mode 160000 thirdParty/mujoco-py diff --git a/.gitmodules b/.gitmodules index 5b7a8e3399a..fb5900aea92 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,9 +10,6 @@ [submodule "thirdParty/catch2"] path = thirdParty/catch2 url = https://github.com/catchorg/Catch2.git -[submodule "thirdParty/mujoco-py"] - path = thirdParty/mujoco-py - url = https://github.com/openai/mujoco-py.git [submodule "thirdParty/RenderPipeline"] path = thirdParty/RenderPipeline url = https://github.com/famura/RenderPipeline.git diff --git a/thirdParty/mujoco-py b/thirdParty/mujoco-py deleted file mode 160000 index d73ce6e91d0..00000000000 --- a/thirdParty/mujoco-py +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d73ce6e91d096b74da2a2fcb0a4164e10db5f641