diff options
-rw-r--r-- | .gitmodules | 4 | ||||
m--------- | libs/log | 0 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 8cf6627907..909d6b5f18 100644 --- a/.gitmodules +++ b/.gitmodules @@ -314,6 +314,10 @@ path = libs/disjoint_sets url = ../disjoint_sets.git fetchRecurseSubmodules = on-demand +[submodule "log"] + path = libs/log + url = ../log.git + fetchRecurseSubmodules = on-demand [submodule "ptr_container"] path = libs/ptr_container url = ../ptr_container.git diff --git a/libs/log b/libs/log new file mode 160000 +Subproject 6a032b633e0d9117ecbe82287216cc387161b3e |