Add source/proj/mutestrepo as a submodule

[personal/website.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 6d52e5f6150d4304d74cbb3247466a3ff9063928..2b388ad48435f8c830d739923bf59cc5161361f8 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "source/proj/eventxx"]
        path = source/proj/eventxx
        url = ../../software/eventxx.git
 [submodule "source/proj/eventxx"]
        path = source/proj/eventxx
        url = ../../software/eventxx.git

+[submodule "source/proj/mutest/repo"]
+       path = source/proj/mutest/repo
+       url = ../../software/mutest.git