commit: 51e249db2ea321b2a0934289ba55c71197d03dc6 Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Sun Aug 13 13:31:56 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sun Aug 13 19:26:09 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=51e249db
app-emacs/proofgeneral: remove unused patch Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> .../proofgeneral/files/proofgeneral-4.4-images-dir.patch | 11 ----------- 1 file changed, 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)
