From e7c3279e6c38743be1ca8730cca354cc5218621d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Apr 2018 08:05:07 +0200
Subject: [PATCH] dammed whitespace errors
---
systems/mmt.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/systems/mmt.md b/systems/mmt.md
index 855370c..0f6ff92 100644
--- a/systems/mmt.md
+++ b/systems/mmt.md
@@ -14,7 +14,7 @@ people:
- miancu
- fhorozal
- mkohlhase
-
+
supported-by:
- oaf
- odk
--
GitLab