diff options
Diffstat (limited to 'lang/mlton/Makefile')
| -rw-r--r-- | lang/mlton/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 718946efb3a8..4cf4bcc12f20 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,7 +12,7 @@ PORTNAME= mlton PORTVERSION= 20100608 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= lang MASTER_SITES= SF http://www.tbrk.org/distfiles/ DISTFILES= ${SRC_DIST} ${BOOT_DIST} |