From 7b55c63f7e90a76cd8c1ec084e86342d20ef2773 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 12 Oct 1999 14:24:23 +0000
Subject: This a try for commit, just changed the name of the maintainer of
 coq.el by my name Pierre Courtieu.

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

diff --git a/coq/coq.el b/coq/coq.el
index d355a4c0..9efcf21f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1,7 +1,7 @@
 ;; coq.el Major mode for Coq proof assistant
 ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. 
 ;; Author: Healfdene Goguen
-;; Maintainer: Patrick Loiseleur <Patrick.Loiseleur@lri.fr> 
+;; Maintainer: Pierre Courtieu <courtieu@lri.fr>
 
 ;; $Id$ 
 
-- 
cgit v1.2.3