diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
commit | 6d06073ac1917748f13739d430202064407b00d5 (patch) | |
tree | 233947f912271430117bc574577887022da88ce4 /doc/Makefile | |
parent | b24d17040eef9941d35f72e430a6bb0bda71b2c8 (diff) |
Updated maintainer tags to remove lego email address.
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index aeeadacb..e1e11be4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -3,6 +3,8 @@ ## ## Author: David Aspinall <da@dcs.ed.ac.uk> ## +## Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> +## ## $Id$ ## ########################################################################### |