|
|
@@ -54,3 +54,19 @@
|
|
|
path = libs/graph
|
|
|
url = ../graph.git
|
|
|
fetchRecurseSubmodules = on-demand
|
|
|
+[submodule "concept_check"]
|
|
|
+ path = libs/concept_check
|
|
|
+ url = ../concept_check.git
|
|
|
+ fetchRecurseSubmodules = on-demand
|
|
|
+[submodule "detail"]
|
|
|
+ path = libs/detail
|
|
|
+ url = ../detail.git
|
|
|
+ fetchRecurseSubmodules = on-demand
|
|
|
+[submodule "disjoint_sets"]
|
|
|
+ path = libs/disjoint_sets
|
|
|
+ url = ../disjoint_sets.git
|
|
|
+ fetchRecurseSubmodules = on-demand
|
|
|
+[submodule "property_map"]
|
|
|
+ path = libs/property_map
|
|
|
+ url = ../property_map.git
|
|
|
+ fetchRecurseSubmodules = on-demand
|