courses/KRMT: Fix broken link

c6ed17e1 · Tom Wiesing · fe9351b1 · c6ed17e1
Unverified Commit c6ed17e1 authored Apr 28, 2022 by Tom Wiesing
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -2,8 +2,8 @@
 layout: course
 title: Logic-Based Representation of Mathematical/Technical Knowledge
 instructors:
-    - mkohlhase
-	- frabe
+  - mkohlhase
+  - frabe
 semesters:
    - SS17 
    - SS18