aboutsummaryrefslogtreecommitdiffhomepage
path: root/AUTHORS
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>2009-03-31 11:53:20 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>2009-03-31 11:53:20 +0000
commit74b6dd9011f4a8c1b81d14800d9a3069a9263d20 (patch)
tree8229da94bc6034c45f3ee4e36c34dfebfc6a934b /AUTHORS
parent0bc3d4022d30f50a4f7221facb5e8ba728b657bf (diff)
fixed spelling;
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS2
1 files changed, 1 insertions, 1 deletions
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: