From 27ffb1de6fb440b042967d5e22afa3c7ae64b077 Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Sat, 7 Dec 2019 19:43:30 +0200 Subject: [PATCH] Add submodule docca --- .gitmodules | 5 +++++ tools/docca | 1 + 2 files changed, 6 insertions(+) create mode 160000 tools/docca 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