diff options
| author | garga <garga@FreeBSD.org> | 2006-02-14 15:21:21 +0000 |
|---|---|---|
| committer | garga <garga@FreeBSD.org> | 2006-02-14 15:21:21 +0000 |
| commit | 55454bad0957721c91d1aaf37ec7e865b72997ab (patch) | |
| tree | 2d7bd4c30aa485ee0274f46ac44f9b6fffe61102 /math/isabelle | |
| parent | 19a89730ac70e3b528270fb00f548657373cf8d2 (diff) | |
| download | FreeBSD-ports-55454bad0957721c91d1aaf37ec7e865b72997ab.zip FreeBSD-ports-55454bad0957721c91d1aaf37ec7e865b72997ab.tar.gz | |
- Make it fetchable again
- Fix WWW
PR: ports/93335
Submitted by: Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
Diffstat (limited to 'math/isabelle')
0 files changed, 0 insertions, 0 deletions
