From 61e1a873b989c3c057245649a8fa45755533ba13 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Apr 2018 07:54:35 +0200
Subject: [PATCH] adding myself
---
systems/mmt.md | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/systems/mmt.md b/systems/mmt.md
index e266dc9..855370c 100644
--- a/systems/mmt.md
+++ b/systems/mmt.md
@@ -13,7 +13,8 @@ people:
- twiesing
- miancu
- fhorozal
-
+ - mkohlhase
+
supported-by:
- oaf
- odk
--
GitLab