diff options
| author | tabthorpe <tabthorpe@FreeBSD.org> | 2007-09-10 19:47:54 +0800 |
|---|---|---|
| committer | tabthorpe <tabthorpe@FreeBSD.org> | 2007-09-10 19:47:54 +0800 |
| commit | b05178b934ac44ab6066c0695f91e87f05f76964 (patch) | |
| tree | 82835a69fc20f019dc7baae8cb84c77e47ae0074 /math/isabelle | |
| parent | ff3f5d31acae0abcb073625e91fa3197967ae8d3 (diff) | |
| download | freebsd-ports-gnome-b05178b934ac44ab6066c0695f91e87f05f76964.tar.gz freebsd-ports-gnome-b05178b934ac44ab6066c0695f91e87f05f76964.tar.zst freebsd-ports-gnome-b05178b934ac44ab6066c0695f91e87f05f76964.zip | |
- Fix breakage with the rootcerts install step.
PR: ports/116208
Submitted by: Larry Rosenman <ler_AT_lerctr.org>
Noticed by: pavmail
Pointyat to: tabthorpe, ler_AT_lerctr.org
Approved by: clsung (mentor)
Diffstat (limited to 'math/isabelle')
0 files changed, 0 insertions, 0 deletions