From 3e0b31278ebb31d5f4b16da3c969154d85a709e3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 20 Oct 1998 10:18:57 +0000 Subject: Filename comment --- etc/lego/lego-site.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ;;; Maintainer: lego@dcs.ed.ac.uk -- cgit v1.2.3