diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2023-08-13 15:31:56 +0200 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2023-08-13 21:26:09 +0200 |
| commit | 51e249db2ea321b2a0934289ba55c71197d03dc6 (patch) | |
| tree | 589cd14d20629e87aa8763e2c3fb0597316632a9 /app-emacs/proofgeneral | |
| parent | app-emacs/mmm-mode: remove unused patch (diff) | |
| download | gentoo-51e249db2ea321b2a0934289ba55c71197d03dc6.tar.gz gentoo-51e249db2ea321b2a0934289ba55c71197d03dc6.tar.bz2 gentoo-51e249db2ea321b2a0934289ba55c71197d03dc6.zip | |
app-emacs/proofgeneral: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral')
| -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) |