diff options
| author | Alexander Leidinger <netchild@FreeBSD.org> | 2006-05-01 17:54:15 +0000 |
|---|---|---|
| committer | Alexander Leidinger <netchild@FreeBSD.org> | 2006-05-01 17:54:15 +0000 |
| commit | a84bae4b1ed4dcb28e3f28e26e88d617a8febe9c (patch) | |
| tree | d7a1bc921c37c09d4d23386ee1f055ee152c65b4 /math/proofgeneral/files/patch-isa_isabelle-system.el | |
| parent | Update to 8.0.3 (diff) | |
- Drop sourceforge mirrors from MASTER_SITES as they don't cary the last
versions of this port. [1]
- Remove USE_REINPLACE.
- Use DOCSDIR and EXAMPLESDIR in plist.
PR: 96601
Submitted by: Ion-Mihai "IOnut" Tetcu <itetcu@people.tecnik93.com>
Reported by: fenner's distfiles survey [1]
Diffstat (limited to 'math/proofgeneral/files/patch-isa_isabelle-system.el')
0 files changed, 0 insertions, 0 deletions