diff options
author | vs <vs@FreeBSD.org> | 2004-06-07 15:48:25 +0800 |
---|---|---|
committer | vs <vs@FreeBSD.org> | 2004-06-07 15:48:25 +0800 |
commit | 9d126d1ad4b7668742c6b3fe9cd3615e57752a34 (patch) | |
tree | 659cf37484e4c7cc4ee469cac464feef369a37a9 | |
parent | ead1b95a4a79e7e7d1d76e2bb2b0c31656c65b90 (diff) | |
download | freebsd-ports-graphics-9d126d1ad4b7668742c6b3fe9cd3615e57752a34.tar.gz freebsd-ports-graphics-9d126d1ad4b7668742c6b3fe9cd3615e57752a34.tar.zst freebsd-ports-graphics-9d126d1ad4b7668742c6b3fe9cd3615e57752a34.zip |
Update to pre14.
PR: ports/67615
Submitted by: Linh Pham
-rw-r--r-- | editors/jedit-devel/Makefile | 2 | ||||
-rw-r--r-- | editors/jedit-devel/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/editors/jedit-devel/Makefile b/editors/jedit-devel/Makefile index dd8b1f09350..a1cd34b4cb7 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jedit -PORTVERSION= 4.2.0pre13 +PORTVERSION= 4.2.0pre14 CATEGORIES= editors java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo index 3a9ddd1a53f..5c6856f7a31 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,2 +1,2 @@ -MD5 (jedit42pre13install.jar) = 71e76c2d989218a7e745e61a40874d8c -SIZE (jedit42pre13install.jar) = 2184161 +MD5 (jedit42pre14install.jar) = 3723aaf545241aef0a261d9a140fb8ff +SIZE (jedit42pre14install.jar) = 2076042 |