From f0d86b7c6722fe794e27c3a84ebf0f6db4ee733b Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Apr 2018 08:57:09 +0200
Subject: [PATCH] whitespace
---
systems/omdoc.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/systems/omdoc.md b/systems/omdoc.md
index 357dde8..a967f84 100644
--- a/systems/omdoc.md
+++ b/systems/omdoc.md
@@ -10,7 +10,7 @@ start_date: '1998'
people:
- mkohlhase
- miancu
- - nmueller
+ - nmueller
- frabe
supported-by:
--
GitLab