From bc60bde44f9eb3da04e7b4dcfa321671fe0265ae Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 10 Oct 2018 09:50:52 +0200
Subject: [PATCH] typo

---
 people/{rmarkus.md => rmarcus.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename people/{rmarkus.md => rmarcus.md} (100%)

diff --git a/people/rmarkus.md b/people/rmarcus.md
similarity index 100%
rename from people/rmarkus.md
rename to people/rmarcus.md
-- 
GitLab