diff options
| author | John Marino <marino@FreeBSD.org> | 2015-03-01 21:14:57 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2015-03-01 21:14:57 +0000 |
| commit | 92a699e645bad0dc2cb42c05cc06c969442528fa (patch) | |
| tree | c36a9e2b45fa718d2e45366316e0a6367b571ac5 /net/omnitty/files/patch-main.c | |
| parent | sysutils/diskcheckd: 20110729 -> 20150220 (diff) | |
math/why: remove hidden references to math/isabelle
There was a placeholder to support isabelle, but the port is being
removed so let's just remove the placeholder.
Notes
Notes:
svn path=/head/; revision=380227
Diffstat (limited to 'net/omnitty/files/patch-main.c')
0 files changed, 0 insertions, 0 deletions