From f9ad8f2458c65968240e8d0ca166224da7477e53 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 24 Jun 2017 10:55:10 +0200
Subject: [PATCH] tab

---
 systems/kat.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/systems/kat.md b/systems/kat.md
index 7750b5c..3330f92 100644
--- a/systems/kat.md
+++ b/systems/kat.md
@@ -8,7 +8,7 @@ start_date: 2013-06
 
 people:
 	- mkohlhase
-    - twiesing
+	- twiesing
 
 repository: https://github.com/KWARC/KAT 
 ---
-- 
GitLab