From 6d06073ac1917748f13739d430202064407b00d5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 1 Oct 1998 17:43:13 +0000
Subject: Updated maintainer tags to remove lego email address.

---
 coq/example.v | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'coq/example.v')

diff --git a/coq/example.v b/coq/example.v
index 00220114..58580c65 100644
--- a/coq/example.v
+++ b/coq/example.v
@@ -2,6 +2,8 @@
     Example proof script for testing Coq Proof General.
  
     $Id$
+
+    Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 *)    
 
 (****************************************************************************)
-- 
cgit v1.2.3