diff options
| author | David Aspinall | 1998-10-07 18:13:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-07 18:13:32 +0000 |
| commit | 2313ec66f5493228560c56d9afe390bb208d9d90 (patch) | |
| tree | a513bc0b6918b083f471911791fc3d2c5f529b87 /etc/ProofGeneral.patch | |
| parent | 9eb4e85d596e262ef3f03031fbda732a05e734f7 (diff) | |
Still bad ('cos release is -kv), removed $ from patch.
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 8 |
1 files changed, 2 insertions, 6 deletions
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 $ - # |