From 221f5f9544c086c68363e5b3234e10282cf27030 Mon Sep 17 00:00:00 2001 From: René 'Necoro' Neumann Date: Sat, 4 Sep 2010 03:46:11 +0200 Subject: Delete old stuff --- .../files/isabelle-2009-proofgeneral-gentoo-path.patch | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch (limited to 'sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch') 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="" -- cgit v1.2.3-54-g00ecf