diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:18:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:18:57 +0000 |
| commit | 3e0b31278ebb31d5f4b16da3c969154d85a709e3 (patch) | |
| tree | 4ba7c4e299be7cbfbc6826515bc355c59b613e16 /etc/lego | |
| parent | 94ac46bdf258163208650f9d41a7077cacea0c4d (diff) | |
Filename comment
Diffstat (limited to 'etc/lego')
| -rw-r--r-- | etc/lego/lego-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/lego/lego-site.el b/etc/lego/lego-site.el index 44c13422..9fabad6d 100644 --- a/etc/lego/lego-site.el +++ b/etc/lego/lego-site.el @@ -1,4 +1,4 @@ -;;; proof-site.el Site-specific Emacs support for LEGO +;;; lego-site.el Site-specific Emacs support for LEGO ;;; Copyright (C) 1998 LFCS Edinburgh ;;; Author: Thomas Kleymann <T.Kleymann@ed.ac.uk> ;;; Maintainer: lego@dcs.ed.ac.uk |