diff options
| author | kris <kris@FreeBSD.org> | 2004-12-19 07:02:35 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2004-12-19 07:02:35 +0800 |
| commit | f62863c25a041364a32d55be531b4482dc026dc8 (patch) | |
| tree | 1271c6aa115afcfcbc3c95fe26593051e9a5ebbc /editors/jedit-devel | |
| parent | f108e4124947ebc2dbf1312e28ad051b4396e33a (diff) | |
| download | freebsd-ports-gnome-f62863c25a041364a32d55be531b4482dc026dc8.tar.gz freebsd-ports-gnome-f62863c25a041364a32d55be531b4482dc026dc8.tar.zst freebsd-ports-gnome-f62863c25a041364a32d55be531b4482dc026dc8.zip | |
This port is scheduled to be removed on 2005-02-18 if it is still
broken at that time, and a fix has not been submitted to GNATS.
Diffstat (limited to 'editors/jedit-devel')
| -rw-r--r-- | editors/jedit-devel/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/editors/jedit-devel/Makefile b/editors/jedit-devel/Makefile index ed6c781a2d70..500e70d19bbe 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -18,7 +18,9 @@ EXTRACT_ONLY= MAINTAINER= ports@FreeBSD.org COMMENT= Powerful programmer's text editor written in Java -IGNORE= "marked as IGNORE: editors/jedit is the latest version" +IGNORE= marked as IGNORE: editors/jedit is the latest version +EXPIRATION_DATE=2005-02-18 +DEPRECATED= "${IGNORE}" USE_JAVA= 1.3+ |