diff options
| author | vs <vs@FreeBSD.org> | 2004-07-19 14:52:02 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2004-07-19 14:52:02 +0800 |
| commit | 819352a8570562f072ec3e7b3bb4174d28f5c12f (patch) | |
| tree | 6c42385f8fb3fb2250efef903c9bdc4ec2d1eba2 /editors | |
| parent | 89b7b630e0fe6a08ed9964c6070a958d4a0220a0 (diff) | |
| download | freebsd-ports-gnome-819352a8570562f072ec3e7b3bb4174d28f5c12f.tar.gz freebsd-ports-gnome-819352a8570562f072ec3e7b3bb4174d28f5c12f.tar.zst freebsd-ports-gnome-819352a8570562f072ec3e7b3bb4174d28f5c12f.zip | |
Update to pre 15
PR: ports/69208
Submitted by: Linh Pham
Diffstat (limited to 'editors')
| -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 a1cd34b4cb74..cfd01a29237c 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jedit -PORTVERSION= 4.2.0pre14 +PORTVERSION= 4.2.0pre15 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 5c6856f7a317..7384015b45c8 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,2 +1,2 @@ -MD5 (jedit42pre14install.jar) = 3723aaf545241aef0a261d9a140fb8ff -SIZE (jedit42pre14install.jar) = 2076042 +MD5 (jedit42pre15install.jar) = bc91d479864cae0bf0471de13036251b +SIZE (jedit42pre15install.jar) = 2066422 |