diff options
author | 1998-10-01 17:19:56 +0000 | |
---|---|---|
committer | 1998-10-01 17:19:56 +0000 | |
commit | ce6a7a3b011b068f62ba652258aef6393344c65c (patch) | |
tree | 96e8879467062e41c1bfee6cec77797b78e78d26 | |
parent | b819cc9121734efcb5922ebb20afd52d79a537e3 (diff) |
Removed troublesome $Id$ header from .patch file: was getting
expanded by cvs! Really this file should be marked as "binary."
-rw-r--r-- | etc/ProofGeneral.patch | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index c7095845..4d29f28e 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -2,30 +2,22 @@ diff -cr ProofGeneral-2.0/coq/coqtags ProofGeneral-2.0.new/coq/coqtags *** ProofGeneral-2.0/coq/coqtags Thu Sep 24 16:36:20 1998 --- ProofGeneral-2.0.new/coq/coqtags Thu Sep 24 17:04:00 1998 *************** -*** 1,4 **** +*** 1,2 **** ! #!/usr/local/bin/perl # - # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ - # ---- 1,4 ---- +--- 1,2 ---- ! #!/usr/bin/perl # - # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ - # diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags *** ProofGeneral-2.0/lego/legotags Thu Sep 24 16:36:30 1998 --- ProofGeneral-2.0.new/lego/legotags Thu Sep 24 17:04:10 1998 *************** -*** 1,4 **** +*** 1,2 **** ! #!/usr/local/bin/perl # - # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ - # ---- 1,4 ---- +--- 1,2 ---- ! #!/usr/bin/perl # - # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ - # *** ProofGeneral-2.0/generic/proof-site.el Thu Sep 24 18:17:33 1998 --- ProofGeneral-2.0.new/generic/proof-site.el Thu Sep 24 18:17:43 1998 *************** |