Update platzer.md (since I'm at it anyways)

KeYProject · Jul 18, 2024 · 69eb26d · 69eb26d
1 parent 2e69b22
commit 69eb26d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/talks/platzer.md b/talks/platzer.md
@@ -1,5 +1,5 @@
 ---
-author: "Andre Platzer"
+author: "André Platzer"
 kind: "Regular Talk (20 min. + 10 min.)"
 track: "KeYmaera Track"
 title: "Differential Hybrid Games"