From 51e249db2ea321b2a0934289ba55c71197d03dc6 Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Sun, 13 Aug 2023 15:31:56 +0200 Subject: [PATCH] app-emacs/proofgeneral: remove unused patch MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michael Mair-Keimberger Signed-off-by: Maciej Barć --- .../files/proofgeneral-4.4-images-dir.patch | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch 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 555837deda0dc..0000000000000 --- 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)