blog: Publish old post from 2016

[personal/website.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 6d52e5f6150d4304d74cbb3247466a3ff9063928..ea20e48eaddbc3ca934b65bc613305303280a6fa 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,9 @@
-[submodule "source/proj/bacap"]
-       path = source/proj/bacap
+[submodule "source/proj/bacap/repo"]
+       path = source/proj/bacap/repo
        url = ../../software/bacap.git
-[submodule "source/proj/eventxx"]
-       path = source/proj/eventxx
+[submodule "source/proj/eventxx/repo"]
+       path = source/proj/eventxx/repo
        url = ../../software/eventxx.git
+[submodule "source/proj/mutest/repo"]
+       path = source/proj/mutest/repo
+       url = ../../software/mutest.git