diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-09-02 21:06:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-09-02 21:06:35 +0000 |
| commit | 5f5a679974161c41db5ec9e93275ae861c25f56b (patch) | |
| tree | a2b3f590f3136ddce7222ef82dcabc10cf66b654 /generic | |
| parent | 80279ce8f659ab207f0a90e87a7d040e9463956a (diff) | |
Fix header
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-vars.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index 102212ee..8dac2f11 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -1,4 +1,4 @@ -;;; pg-custom.el --- Proof General global variables +;;; pg-vars.el --- Proof General global variables ;; ;; Copyright (C) 2008, 2010 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others |