diff options
| -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 |