gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

app-emacs/proofgeneral: remove unused patch

Browse Source 
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Michael Mair-Keimberger
2023-08-13 15:31:56 +02:00
committed by Maciej Barć
parent 14efe23c9e
commit 51e249db2e
1 changed files with 0 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch
View File

@@ -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)