let the master branch track MMT's master branch

c0f44fc4 · bessw · 1973fee1 · c0f44fc4
Unverified Commit c0f44fc4 authored 1 year ago by bessw
--- a/.gitmodules
+++ b/.gitmodules
@@ -6,7 +6,7 @@
 [submodule "MMT"]
 	path = MMT
 	url = https://github.com/UniFormal/MMT.git
-	branch = devel
+	branch = master
 [submodule "archives"]
 	path = archives
 	url = https://github.com/UFrameIT/archives.git