From 5f5a679974161c41db5ec9e93275ae861c25f56b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 2 Sep 2012 21:06:35 +0000
Subject: Fix header

---
 generic/pg-vars.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3