diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..3f68e9eb7 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "Libero"] + path = Libero + url = https://github.com/Lifelong-Robot-Learning/LIBERO.git diff --git a/Libero b/Libero new file mode 160000 index 000000000..8f1084e31 --- /dev/null +++ b/Libero @@ -0,0 +1 @@ +Subproject commit 8f1084e3132a39270c3a13ebe37270a43ece2a01