diff options
Diffstat (limited to 'sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch')
-rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch b/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch deleted file mode 100644 index f64581d..0000000 --- a/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- Isabelle/etc/settings.old 2009-09-28 15:20:14.000000000 +0200 -+++ Isabelle/etc/settings 2009-09-28 15:20:34.000000000 +0200 -@@ -194,6 +194,7 @@ - "/usr/local/ProofGeneral" \ - "/usr/share/ProofGeneral" \ - "/opt/ProofGeneral" \ -+ "/usr/share/emacs/site-lisp/ProofGeneral" \ - "") - - PROOFGENERAL_OPTIONS="" |