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.

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

(limited to 'lego/lego-syntax.el')

diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el
index 9d770a43..67bb4e45 100644
--- a/lego/lego-syntax.el
+++ b/lego/lego-syntax.el
@@ -1,7 +1,7 @@
 ;; lego-fontlock.el Font lock expressions for LEGO
 ;; Copyright (C) 1994, 1995, 1996, 1997 LFCS Edinburgh. 
 ;; Author: Healfdene Goguen, Thomas Kleymann and Dilip Sequeira
-;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
-- 
cgit v1.2.3