commit db054243838f658dea444346224b3c1fe349a04b parent 9a113e6ab9de17da0749e467bfd429c486eb6ac5 Author: Fabian Wermelinger <fabianw@mavt.ethz.ch> Date: Sat, 19 Dec 2020 18:10:20 +0100 Move dependency to subprojects/ Diffstat:
| M | .gitmodules | | | 2 | +- |
| D | ode_toolbox | | | 1 | - |
| A | subprojects/ode_toolbox | | | 1 | + |
3 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitmodules b/.gitmodules @@ -1,3 +1,3 @@ [submodule "ode_toolbox"] - path = ode_toolbox + path = subprojects/ode_toolbox url = https://gitlab.ethz.ch/fabianw/ode_toolbox.git diff --git a/ode_toolbox b/ode_toolbox @@ -1 +0,0 @@ -Subproject commit 1c50b530ffe3e5dc4e75aa95e0b3e466408f3f17 diff --git a/subprojects/ode_toolbox b/subprojects/ode_toolbox @@ -0,0 +1 @@ +Subproject commit c838117d6c766aaa84fce90d1578c7a4bd6ee793