diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 12:08:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 12:08:40 +0000 |
| commit | 0ba3bc6098024961fbc687073e8325998e0abdc1 (patch) | |
| tree | 2bf7934fe3c3fcb4c91be0848bda126ef6246730 /etc | |
| parent | cab038a2af51259c72751a295a9df02bdf2d6f36 (diff) | |
Deleted files.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ProofGeneral.patch | 24 |
1 files changed, 0 insertions, 24 deletions
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) |