From b9fffcd5d52d4b201e9952f49cb97790a5b314d6 Mon Sep 17 00:00:00 2001 From: BlubbFish Date: Mon, 11 Feb 2019 23:19:46 +0100 Subject: [PATCH] add MateBeweis --- .gitmodules | 3 +++ MateBeweis | 1 + 2 files changed, 4 insertions(+) create mode 160000 MateBeweis diff --git a/.gitmodules b/.gitmodules index 62b2785..1c5b880 100644 --- a/.gitmodules +++ b/.gitmodules @@ -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 diff --git a/MateBeweis b/MateBeweis new file mode 160000 index 0000000..50fc682 --- /dev/null +++ b/MateBeweis @@ -0,0 +1 @@ +Subproject commit 50fc6827cc9ec2be7c26d55ec4d57dd9c739283b