diff options
-rw-r--r-- | .gitmodules | 4 | ||||
m--------- | libs/callable_traits | 0 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 75307e587f..72348516e6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -542,3 +542,7 @@ path = libs/mp11 url = ../mp11.git fetchRecurseSubmodules = on-demand +[submodule "callable_traits"] + path = libs/callable_traits + url = ../callable_traits.git + fetchRecurseSubmodules = on-demand diff --git a/libs/callable_traits b/libs/callable_traits new file mode 160000 +Subproject 9da645c173bfa759e41f856adbc4885b96c43d1 |