From 74b6dd9011f4a8c1b81d14800d9a3069a9263d20 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Tue, 31 Mar 2009 11:53:20 +0000 Subject: fixed spelling; --- AUTHORS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AUTHORS b/AUTHORS index 6f52b959..c2725604 100644 --- a/AUTHORS +++ b/AUTHORS @@ -5,7 +5,7 @@ Current Authors/Maintainers: Stefan Berghofer (isar) Pierre Courtieu (coq) Christoph Raffalli (phox) - Markarius Wenzel (isar) + Makarius Wenzel (isar) Previous Authors: -- cgit v1.2.3