add MateBeweis

2019-02-11 23:19:46 +01:00
parent 71d1f51be2
commit b9fffcd5d5
2 changed files with 4 additions and 0 deletions
@@ -103,3 +103,6 @@
 [submodule "Matomat"]
 	path = Matomat
 	url = http://git.blubbfish.net/BlubbFish/Matomat.git
+[submodule "MateBeweis"]
+	path = MateBeweis
+	url = http://git.blubbfish.net/BlubbFish/MateBeweis.git