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