From 2313ec66f5493228560c56d9afe390bb208d9d90 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Oct 1998 18:13:32 +0000
Subject: Still bad ('cos release is -kv), removed $ from patch.

---
 etc/ProofGeneral.patch | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'etc/ProofGeneral.patch')

diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch
index bf7cd0de..0e7043d9 100644
--- a/etc/ProofGeneral.patch
+++ b/etc/ProofGeneral.patch
@@ -36,13 +36,9 @@ diff -cr ProofGeneral.old/lego/legotags ProofGeneral/lego/legotags
 *** ProofGeneral.old/lego/legotags	Wed Oct  7 18:37:18 1998
 --- ProofGeneral/lego/legotags	Wed Oct  7 19:04:35 1998
 ***************
-*** 1,4 ****
+*** 1,2 ****
 ! #!/usr/local/bin/perl
   #
-  # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $
-  #
---- 1,4 ----
+--- 1,2 ----
 ! #!/usr/bin/perl
   #
-  # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $
-  #
-- 
cgit v1.2.3