From 1c59ff6d82b1a8e1dfcd8e381d4037e0a5967ca7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 27 Nov 2000 11:18:31 +0000
Subject: fixed spelling;

---
 coq/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/README b/coq/README
index 0e460271..2e8c5ec6 100644
--- a/coq/README
+++ b/coq/README
@@ -7,7 +7,7 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu,
 $Id$
 
 Status:		supported
-Maintainer:	Pierre Courieu
+Maintainer:	Pierre Courtieu
 Coq version:	6.3
 Coq homepage:	http://pauillac.inria.fr/coq/assis-eng.html
 
-- 
cgit v1.2.3