From 0ba3bc6098024961fbc687073e8325998e0abdc1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 8 May 2001 12:08:40 +0000 Subject: Deleted files. --- etc/ProofGeneral.patch | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 etc/ProofGeneral.patch (limited to 'etc') diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch deleted file mode 100644 index 7ba5d3a1..00000000 --- a/etc/ProofGeneral.patch +++ /dev/null @@ -1,24 +0,0 @@ -Index: generic/proof-site.el -=================================================================== -RCS file: /home/proofgen/src/ProofGeneral/generic/proof-site.el,v -retrieving revision 4.26 -diff -c -r4.26 proof-site.el -*** generic/proof-site.el 2000/05/25 14:52:30 4.26 ---- generic/proof-site.el 2000/05/25 20:14:27 -*************** -*** 99,105 **** - :group 'proof-general-internals) - - (defcustom proof-info-directory -! (concat proof-home-directory "doc/") - "Where Proof General Info files are installed. Ends with slash." - :type 'directory - :group 'proof-general-internals) ---- 99,105 ---- - :group 'proof-general-internals) - - (defcustom proof-info-directory -! "/usr/info/" - "Where Proof General Info files are installed. Ends with slash." - :type 'directory - :group 'proof-general-internals) -- cgit v1.2.3