diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2010-09-04 03:46:11 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2010-09-04 03:46:11 +0200 |
| commit | 221f5f9544c086c68363e5b3234e10282cf27030 (patch) | |
| tree | e7b5b901cdbbf8eca3bfc8c5809b4ae19e7272c0 /sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch | |
| parent | 26b04a7957a18fc7ae086e4ea4245e0041c38245 (diff) | |
| download | overlay-221f5f9544c086c68363e5b3234e10282cf27030.tar.gz overlay-221f5f9544c086c68363e5b3234e10282cf27030.tar.bz2 overlay-221f5f9544c086c68363e5b3234e10282cf27030.zip | |
Delete old stuff
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="" |