diff options
Diffstat (limited to 'editors/drjava/Makefile')
| -rw-r--r-- | editors/drjava/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/editors/drjava/Makefile b/editors/drjava/Makefile index 114a50b47c0..dd6f7f4999d 100644 --- a/editors/drjava/Makefile +++ b/editors/drjava/Makefile @@ -6,9 +6,8 @@ # PORTNAME= drjava -PORTVERSION= 20080106.0744 +DISTVERSION= 20080904-r4668 #PORTREVISION= 0 -PORTREVISION= 1 CATEGORIES= editors java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} |