diff options
author | Rene Ladan <rene@FreeBSD.org> | 2015-03-01 21:24:40 +0000 |
---|---|---|
committer | Rene Ladan <rene@FreeBSD.org> | 2015-03-01 21:24:40 +0000 |
commit | f47967987e7ba3006f788efd469fdaf8f047b9a8 (patch) | |
tree | 00e46f466d0eaa31cfa18287a230fa9f0d4937cc /net/omnitty/files/patch-main.c | |
parent | math/why: remove hidden references to math/isabelle (diff) |
Remove expired port:
2015-02-28 math/isabelle: Broken for more than 6 months
Notes
Notes:
svn path=/head/; revision=380228
Diffstat (limited to 'net/omnitty/files/patch-main.c')
0 files changed, 0 insertions, 0 deletions