diff --git a/.gitmodules b/.gitmodules index 75ba4db6b6..a3f3b52cfd 100644 --- a/.gitmodules +++ b/.gitmodules @@ -547,3 +547,6 @@ path = libs/mp11 url = ../mp11.git fetchRecurseSubmodules = on-demand +[submodule "callable_traits"] + path = libs/callable_traits + url = ../callable_traits.git diff --git a/libs/callable_traits b/libs/callable_traits new file mode 160000 index 0000000000..684dfbd7df --- /dev/null +++ b/libs/callable_traits @@ -0,0 +1 @@ +Subproject commit 684dfbd7dfbdd0438ef3670be10002ca33a71715