diff --git a/systems/kat.md b/systems/kat.md index 7750b5c2c94b0a87c7dfc47b18fd51f10792e7bf..3330f92296bbd908f3d9124185ba5769fe779260 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 ---