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 e7a1f6d6a5c5..dcc45a339fd0 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,7 +12,7 @@ PORTNAME= mlton PORTVERSION= 20100608 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= lang MASTER_SITES= SF http://www.tbrk.org/distfiles/ DISTFILES= ${SRC_DIST} ${BOOT_DIST} |