diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
| commit | 1013bb04a30c552ec7ff5e3fe97074b0531a024d (patch) | |
| tree | a94f2330bae429402db01020da9c60782e27af89 /app-emacs/proofgeneral/files | |
| parent | 40c113c340752d507394d37cd6b60abb741daed0 (diff) | |
gentoo auto-resync : 14:08:2023 - 00:11:33
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -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) |