From 9944630b80819073d45ee79e31c91a14505f4929 Mon Sep 17 00:00:00 2001 From: Wuzzy Date: Thu, 3 Nov 2016 16:46:27 +0100 Subject: [PATCH] Add doc_basics --- .gitmodules | 3 +++ doc_basics | 1 + 2 files changed, 4 insertions(+) create mode 160000 doc_basics diff --git a/.gitmodules b/.gitmodules index 8a5472e..a72b3c8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,3 +7,6 @@ [submodule "doc_identifier"] path = doc_identifier url = https://repo.or.cz/minetest_doc_identifier.git +[submodule "doc_basics"] + path = doc_basics + url = https://repo.or.cz/minetest_doc_basics.git diff --git a/doc_basics b/doc_basics new file mode 160000 index 0000000..f57c876 --- /dev/null +++ b/doc_basics @@ -0,0 +1 @@ +Subproject commit f57c876d2b9e2bdab20a014710dac02ee523fa58