diff --git a/.gitmodules b/.gitmodules index ddcd8c884f..b30006f0a7 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