adding wiki as a submodule, attempt # 2 (HT https://stackoverflow.com…

…/questions/40841882/automatically-access-git-submodules-via-ssh-or-https)
ValeevGroup · Aug 18, 2019 · 46ae285 · 46ae285
1 parent 93f3cfa
commit 46ae285
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "doc/wiki"]
+	path = doc/wiki
+	url = ../libint.wiki.git