diff --git a/.gitmodules b/.gitmodules index 4c14ca0..4d330e7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -178,3 +178,6 @@ path = ImGuiColorTextEdit url = https://github.com/BalazsJako/ImGuiColorTextEdit branch = master +[submodule "htn_planner"] + path = htn_planner + url = https://github.com/urosidoki/htn_planner diff --git a/htn_planner b/htn_planner new file mode 160000 index 0000000..115df66 --- /dev/null +++ b/htn_planner @@ -0,0 +1 @@ +Subproject commit 115df665cffa27a4b55616619c7775f80a849c1b diff --git a/jolt b/jolt index 072675b..fb915d8 160000 --- a/jolt +++ b/jolt @@ -1 +1 @@ -Subproject commit 072675b1d56db248ee3f77713999de4b0ec744d2 +Subproject commit fb915d8a9c68c54159b4b626fb8d3739a410f8f0 diff --git a/ogre b/ogre index 82b9f6b..73bac6a 160000 --- a/ogre +++ b/ogre @@ -1 +1 @@ -Subproject commit 82b9f6b0af88875beea35f13c6dcd76af63a190f +Subproject commit 73bac6aad9561845897385faaddcf5aefa144310