From ddfda254d0695ae7f188b6636b1e9ebd6757b84b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 30 Jan 2008 15:45:00 +0000
Subject: Fix RCS tags

---
 generic/pg-custom.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic/pg-custom.el')

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
index 2f9ef2f4..b534b44d 100644
--- a/generic/pg-custom.el
+++ b/generic/pg-custom.el
@@ -4,6 +4,8 @@
 ;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
+;; $Id$
+;;
 ;;; Commentary:
 ;; 
 ;; Prover specific settings
-- 
cgit v1.2.3