diff options
| author | Gerald Pfeifer <gerald@FreeBSD.org> | 2017-09-10 20:55:38 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@FreeBSD.org> | 2017-09-10 20:55:38 +0000 |
| commit | e59c88cece035a155debaf8996ce8f20adabd78b (patch) | |
| tree | b2fdb90b31860ce377c34f790e4d2f4ed3dad14f /lang/mlton/Makefile | |
| parent | 70a626a6448663cca56f9193ab3889b771fa4d51 (diff) | |
Notes
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 4cf4bcc12f20..2fe44c7dddd7 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,7 +12,7 @@ PORTNAME= mlton PORTVERSION= 20100608 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= lang MASTER_SITES= SF http://www.tbrk.org/distfiles/ DISTFILES= ${SRC_DIST} ${BOOT_DIST} |