From 5fb15dcc936efa43332e6cad26f36ac3190b6f11 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 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