diff options
Diffstat (limited to 'app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch')
-rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch b/app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch deleted file mode 100644 index 555837deda0d..000000000000 --- a/app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- PG-4.4-orig/generic/proof-site.el -+++ PG-4.4/generic/proof-site.el -@@ -127,7 +127,7 @@ - :group 'proof-general-internals) - - (defcustom proof-images-directory -- (concat proof-home-directory "images/") -+ "@SITEETC@/images/" - "Where Proof General image files are installed. Ends with slash." - :type 'directory - :group 'proof-general-internals) |