From 46ae28598361467f06caa5cfb0c95a46c7110908 Mon Sep 17 00:00:00 2001 From: Eduard Valeyev Date: Sun, 18 Aug 2019 08:02:10 -0400 Subject: [PATCH] adding wiki as a submodule, attempt # 2 (HT https://stackoverflow.com/questions/40841882/automatically-access-git-submodules-via-ssh-or-https) --- .gitmodules | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..bc8a65039 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "doc/wiki"] + path = doc/wiki + url = ../libint.wiki.git