From eb0069776b9cc5f4c73d8ccce443e346e5319efb Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Wed, 1 Apr 2020 10:42:15 +0200 Subject: [PATCH] typos --- systems/frameit.md | 2 +- systems/mmt.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/systems/frameit.md b/systems/frameit.md index eedd33b..58cb905 100644 --- a/systems/frameit.md +++ b/systems/frameit.md @@ -12,7 +12,7 @@ people: - mkohlhase - dmueller - rmarcus - - nroux + - nroux supported-by: - oaf diff --git a/systems/mmt.md b/systems/mmt.md index 6b22ff5..6e32d23 100644 --- a/systems/mmt.md +++ b/systems/mmt.md @@ -14,7 +14,7 @@ people: - miancu - fhorozal - mkohlhase - - nroux + - nroux supported-by: - oaf -- GitLab