From af8da5bb70863f709dc98d5bfd16cfef7b0e8f55 Mon Sep 17 00:00:00 2001 From: Wuzzy Date: Tue, 29 Nov 2016 23:36:59 +0100 Subject: [PATCH] Add doc_encyclopedia --- .gitmodules | 3 +++ doc_encyclopedia | 1 + 2 files changed, 4 insertions(+) create mode 160000 doc_encyclopedia diff --git a/.gitmodules b/.gitmodules index a72b3c8..094a050 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,3 +10,6 @@ [submodule "doc_basics"] path = doc_basics url = https://repo.or.cz/minetest_doc_basics.git +[submodule "doc_encyclopedia"] + path = doc_encyclopedia + url = https://repo.or.cz/minetest_doc_encyclopedia.git diff --git a/doc_encyclopedia b/doc_encyclopedia new file mode 160000 index 0000000..daa07f9 --- /dev/null +++ b/doc_encyclopedia @@ -0,0 +1 @@ +Subproject commit daa07f938f5a91ccd8d2d3c71fc110d8945566bc