diff --git a/.gitmodules b/.gitmodules index 74b423b63d..5fee91223f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -743,3 +743,8 @@ url = ../nowide.git fetchRecurseSubmodules = on-demand branch = . +[submodule "docca"] + path = tools/docca + url = ../docca.git + fetchRecurseSubmodules = on-demand + branch = . diff --git a/tools/docca b/tools/docca new file mode 160000 index 0000000000..9bbf76d88b --- /dev/null +++ b/tools/docca @@ -0,0 +1 @@ +Subproject commit 9bbf76d88b2f30f368b7ad836058a1e539430dce